--------------------------------------------------------------------------------
Execute format string : ../darwin -umx true
Problems list file    : cascj2_nne-problems
Output file           : cascj2_nne-output
Summary file          : cascj2_nne-summary
Time limit            : 500 s
Memory limit          : 500 MB
--------------------------------------------------------------------------------
Rating Problem           Result     CPU  Memory   Close  Assert   Split Subsume Resolve Compact   Prod. D.Bound Ct.Size Ass.Cd. Spl.Cd.   Debug
[None] COM005-1         timeout   500.0      31                                                                                                
[0.00] FLD060-2         theorem     6.9       3       1     223       0      11       0       0       0       2     223     852    8129       0
[0.00] PUZ035-7         theorem     0.1       2      14     231      33       8       0       0     667       3      81     947    2343       0
[0.12] ANA003-4         timeout   500.0     292                                                                                                
[0.12] FLD023-1         theorem    87.7      12       1     210       0       7       0       0       0       3     210   10314   36155       0
[0.12] FLD031-1         timeout   500.0      15                                                                                                
[0.12] SET010-1         theorem     0.1       2       3     902       2       5       0      59       0       2     486    3911    1086       0
[0.12] SYN036-4         theorem     0.0       2       8       9       7      35     105       4       1       2       5      62      68       0
[0.12] SYN609-1         timeout   500.0      24                                                                                                
[0.12] SYN610-1         timeout   500.0      40                                                                                                
[0.12] SYN611-1         timeout   500.0      24                                                                                                
[0.12] SYN612-1         timeout   500.0      37                                                                                                
[0.25] ANA004-4         timeout   500.0     293                                                                                                
[0.25] FLD009-1         timeout   500.0      19                                                                                                
[0.25] FLD050-4         theorem     0.3       3       1     296       0      15       0       0       0       2     296    1936   22698       0
[0.25] SET013-1         timeout   500.0      73                                                                                                
[0.25] SET015-1         timeout   500.0      67                                                                                                
[0.25] SYN650-1         timeout   500.0      40                                                                                                
[0.38] ANA002-1         timeout   500.0      65                                                                                                
[0.38] COM003-1         theorem     8.5       4    1414   14021   10296     632     322       8   63392       2     381   54426  253971       0
[0.38] FLD062-3         theorem   115.8      35       1    1195       0       7       0       0       0       2    1195  306883   94511       0
[0.38] GRP039-6         theorem    14.4       4      20    1679      23       9       0       1   26199       2     640  201632   28653       0
[0.38] SET013-2         theorem     0.2       3       3     609       2       6       0       0     510       2     336    6941    2883       0
[0.38] SYN036-1         theorem     1.0       3      33      65      32     143     593       3    4597       2      14   30302   80061       0
[0.38] SYN755-1         theorem     2.0       2     138       1     322       1       0       0   27683       5      21       1   54579       0
[0.38] SYN796-1         theorem     1.2       2      54       2     184       2       0       0   15322       3      20       2   27186       0
[0.50] FLD047-4         theorem     0.5       4       1     354       0      15       0       0       0       2     354    3506   22889       0
[0.50] SYN067-1         theorem    17.7       3     406    3546     431     629    1915       0   50485       2      44   17415  368888       0
[0.50] SYN353-1         timeout   500.0      10                                                                                                
[0.62] SYN067-2         theorem    30.3       3     773    7321     803    1179    2619       0   93053       2      54   31260  960962       0
[0.62] SYN758-1         theorem    39.3       2     326       1    1046       1       0       0  255192       9      29       1  383066       0
[0.75] FLD063-1         timeout   500.0      19                                                                                                
[0.75] SYN802-1         timeout   500.0       5                                                                                                
[0.88] FLD007-1         timeout   500.0      14                                                                                                
[1.00] SYN314-1.002.001 timeout   500.0      37