Benchmarking uclid, DIRECTORY=mathsat, EXT=ucl, MAX_MEMORY=450000, MAX_STACK=40000, MAX_TIME=3600
FISCHER1-1-ninc FISCHER1-1-ninc.ucl UNSAT 0.33
FISCHER1-2-ninc FISCHER1-2-ninc.ucl SAT 0.65
FISCHER10-1-ninc FISCHER10-1-ninc.ucl UNSAT 2.31
FISCHER10-10-ninc FISCHER10-10-ninc.ucl KILLED 1624.16
FISCHER10-11-ninc FISCHER10-11-ninc.ucl SAT 33.85
FISCHER10-2-ninc FISCHER10-2-ninc.ucl UNSAT 4.38
FISCHER10-3-ninc FISCHER10-3-ninc.ucl UNSAT 6.58
FISCHER10-4-ninc FISCHER10-4-ninc.ucl UNSAT 9.54
FISCHER10-5-ninc FISCHER10-5-ninc.ucl UNSAT 12.09
FISCHER10-6-ninc FISCHER10-6-ninc.ucl UNSAT 16.33
FISCHER10-7-ninc FISCHER10-7-ninc.ucl UNSAT 24.61
FISCHER10-8-ninc FISCHER10-8-ninc.ucl UNSAT 59.32
FISCHER10-9-ninc FISCHER10-9-ninc.ucl UNSAT 345.28
FISCHER11-1-ninc FISCHER11-1-ninc.ucl UNSAT 2.56
FISCHER11-10-ninc FISCHER11-10-ninc.ucl KILLED 2001.09
FISCHER11-11-ninc FISCHER11-11-ninc.ucl KILLED 1558.45
FISCHER11-12-ninc FISCHER11-12-ninc.ucl SAT 44.22
FISCHER11-2-ninc FISCHER11-2-ninc.ucl UNSAT 5.03
FISCHER11-3-ninc FISCHER11-3-ninc.ucl UNSAT 7.42
FISCHER11-4-ninc FISCHER11-4-ninc.ucl UNSAT 10.31
FISCHER11-5-ninc FISCHER11-5-ninc.ucl UNSAT 14.11
FISCHER11-6-ninc FISCHER11-6-ninc.ucl UNSAT 18.74
FISCHER11-7-ninc FISCHER11-7-ninc.ucl UNSAT 29.14
FISCHER11-8-ninc FISCHER11-8-ninc.ucl UNSAT 70.85
FISCHER11-9-ninc FISCHER11-9-ninc.ucl UNSAT 885.68
FISCHER12-1-ninc FISCHER12-1-ninc.ucl UNSAT 2.84
FISCHER12-10-ninc FISCHER12-10-ninc.ucl KILLED 3629.02
FISCHER12-11-ninc FISCHER12-11-ninc.ucl KILLED 1200.78
FISCHER12-12-ninc FISCHER12-12-ninc.ucl KILLED 2200.35
FISCHER12-13-ninc FISCHER12-13-ninc.ucl SAT 55.92
FISCHER12-2-ninc FISCHER12-2-ninc.ucl UNSAT 5.33
FISCHER12-3-ninc FISCHER12-3-ninc.ucl UNSAT 8.52
FISCHER12-4-ninc FISCHER12-4-ninc.ucl UNSAT 11.27
FISCHER12-5-ninc FISCHER12-5-ninc.ucl UNSAT 15.45
FISCHER12-6-ninc FISCHER12-6-ninc.ucl UNSAT 20.85
FISCHER12-7-ninc FISCHER12-7-ninc.ucl UNSAT 31.39
FISCHER12-8-ninc FISCHER12-8-ninc.ucl UNSAT 74.34
FISCHER12-9-ninc FISCHER12-9-ninc.ucl UNSAT 662.04
FISCHER13-1-ninc FISCHER13-1-ninc.ucl UNSAT 3.00
FISCHER13-10-ninc FISCHER13-10-ninc.ucl KILLED 1637.13
FISCHER13-11-ninc FISCHER13-11-ninc.ucl KILLED 1282.29
FISCHER13-12-ninc FISCHER13-12-ninc.ucl KILLED 1275.85
FISCHER13-13-ninc FISCHER13-13-ninc.ucl KILLED 3649.46
FISCHER13-14-ninc FISCHER13-14-ninc.ucl SAT 67.63
FISCHER13-2-ninc FISCHER13-2-ninc.ucl UNSAT 5.85
FISCHER13-3-ninc FISCHER13-3-ninc.ucl UNSAT 9.25
FISCHER13-4-ninc FISCHER13-4-ninc.ucl UNSAT 12.32
FISCHER13-5-ninc FISCHER13-5-ninc.ucl UNSAT 17.29
FISCHER13-6-ninc FISCHER13-6-ninc.ucl UNSAT 23.05
FISCHER13-7-ninc FISCHER13-7-ninc.ucl UNSAT 33.65
FISCHER13-8-ninc FISCHER13-8-ninc.ucl UNSAT 93.69
FISCHER13-9-ninc FISCHER13-9-ninc.ucl UNSAT 280.06
FISCHER14-1-ninc FISCHER14-1-ninc.ucl UNSAT 3.20
FISCHER14-10-ninc FISCHER14-10-ninc.ucl KILLED 3251.78
FISCHER14-11-ninc FISCHER14-11-ninc.ucl KILLED 3154.57
FISCHER14-12-ninc FISCHER14-12-ninc.ucl KILLED 1976.29
FISCHER14-13-ninc FISCHER14-13-ninc.ucl KILLED 3655.24
FISCHER14-14-ninc FISCHER14-14-ninc.ucl KILLED 2037.07
FISCHER14-15-ninc FISCHER14-15-ninc.ucl SAT 81.63
FISCHER14-2-ninc FISCHER14-2-ninc.ucl UNSAT 6.41
FISCHER14-3-ninc FISCHER14-3-ninc.ucl UNSAT 9.98
FISCHER14-4-ninc FISCHER14-4-ninc.ucl UNSAT 13.54
FISCHER14-5-ninc FISCHER14-5-ninc.ucl UNSAT 19.22
FISCHER14-6-ninc FISCHER14-6-ninc.ucl UNSAT 24.87
FISCHER14-7-ninc FISCHER14-7-ninc.ucl UNSAT 34.93
FISCHER14-8-ninc FISCHER14-8-ninc.ucl UNSAT 114.03
FISCHER14-9-ninc FISCHER14-9-ninc.ucl UNSAT 439.11
FISCHER2-1-ninc FISCHER2-1-ninc.ucl UNSAT 0.55
FISCHER2-2-ninc FISCHER2-2-ninc.ucl UNSAT 0.93
FISCHER2-3-ninc FISCHER2-3-ninc.ucl SAT 1.45
FISCHER3-1-ninc FISCHER3-1-ninc.ucl UNSAT 0.70
FISCHER3-2-ninc FISCHER3-2-ninc.ucl UNSAT 1.33
FISCHER3-3-ninc FISCHER3-3-ninc.ucl UNSAT 1.98
FISCHER3-4-ninc FISCHER3-4-ninc.ucl SAT 2.93
FISCHER4-1-ninc FISCHER4-1-ninc.ucl UNSAT 0.95
FISCHER4-2-ninc FISCHER4-2-ninc.ucl UNSAT 1.69
FISCHER4-3-ninc FISCHER4-3-ninc.ucl UNSAT 2.47
FISCHER4-4-ninc FISCHER4-4-ninc.ucl UNSAT 3.54
FISCHER4-5-ninc FISCHER4-5-ninc.ucl SAT 4.87
FISCHER5-1-ninc FISCHER5-1-ninc.ucl UNSAT 1.14
FISCHER5-2-ninc FISCHER5-2-ninc.ucl UNSAT 2.10
FISCHER5-3-ninc FISCHER5-3-ninc.ucl UNSAT 3.33
FISCHER5-4-ninc FISCHER5-4-ninc.ucl UNSAT 4.67
FISCHER5-5-ninc FISCHER5-5-ninc.ucl UNSAT 5.80
FISCHER5-6-ninc FISCHER5-6-ninc.ucl SAT 7.21
FISCHER6-1-ninc FISCHER6-1-ninc.ucl UNSAT 1.35
FISCHER6-2-ninc FISCHER6-2-ninc.ucl UNSAT 2.51
FISCHER6-3-ninc FISCHER6-3-ninc.ucl UNSAT 4.08
FISCHER6-4-ninc FISCHER6-4-ninc.ucl UNSAT 5.42
FISCHER6-5-ninc FISCHER6-5-ninc.ucl UNSAT 6.95
FISCHER6-6-ninc FISCHER6-6-ninc.ucl UNSAT 9.15
FISCHER6-7-ninc FISCHER6-7-ninc.ucl SAT 11.02
FISCHER7-1-ninc FISCHER7-1-ninc.ucl UNSAT 1.60
FISCHER7-2-ninc FISCHER7-2-ninc.ucl UNSAT 2.89
FISCHER7-3-ninc FISCHER7-3-ninc.ucl UNSAT 4.63
FISCHER7-4-ninc FISCHER7-4-ninc.ucl UNSAT 6.27
FISCHER7-5-ninc FISCHER7-5-ninc.ucl UNSAT 8.34
FISCHER7-6-ninc FISCHER7-6-ninc.ucl UNSAT 10.78
FISCHER7-7-ninc FISCHER7-7-ninc.ucl UNSAT 15.96
FISCHER7-8-ninc FISCHER7-8-ninc.ucl SAT 15.40
FISCHER8-1-ninc FISCHER8-1-ninc.ucl UNSAT 1.91
FISCHER8-2-ninc FISCHER8-2-ninc.ucl UNSAT 3.42
FISCHER8-3-ninc FISCHER8-3-ninc.ucl UNSAT 5.25
FISCHER8-4-ninc FISCHER8-4-ninc.ucl UNSAT 7.25
FISCHER8-5-ninc FISCHER8-5-ninc.ucl UNSAT 9.76
FISCHER8-6-ninc FISCHER8-6-ninc.ucl UNSAT 13.00
FISCHER8-7-ninc FISCHER8-7-ninc.ucl UNSAT 19.89
FISCHER8-8-ninc FISCHER8-8-ninc.ucl UNSAT 48.51
FISCHER8-9-ninc FISCHER8-9-ninc.ucl SAT 20.58
FISCHER9-1-ninc FISCHER9-1-ninc.ucl UNSAT 2.15
FISCHER9-10-ninc FISCHER9-10-ninc.ucl SAT 26.99
FISCHER9-2-ninc FISCHER9-2-ninc.ucl UNSAT 3.98
FISCHER9-3-ninc FISCHER9-3-ninc.ucl UNSAT 6.02
FISCHER9-4-ninc FISCHER9-4-ninc.ucl UNSAT 8.45
FISCHER9-5-ninc FISCHER9-5-ninc.ucl UNSAT 10.96
FISCHER9-6-ninc FISCHER9-6-ninc.ucl UNSAT 15.00
FISCHER9-7-ninc FISCHER9-7-ninc.ucl UNSAT 23.08
FISCHER9-8-ninc FISCHER9-8-ninc.ucl UNSAT 56.74
FISCHER9-9-ninc FISCHER9-9-ninc.ucl UNSAT 482.95
PO2-2-PO2 PO2-2-PO2.ucl UNSAT 1.15
PO2-3-PO2 PO2-3-PO2.ucl UNSAT 1.66
PO2-4-PO2 PO2-4-PO2.ucl UNSAT 2.40
PO2-5-PO2 PO2-5-PO2.ucl UNSAT 2.92
PO2-6-PO2 PO2-6-PO2.ucl UNSAT 4.66
PO2-7-PO2 PO2-7-PO2.ucl UNSAT 6.14
PO2-8-PO2 PO2-8-PO2.ucl SAT 5.58
PO3-10-PO3 PO3-10-PO3.ucl SAT 24.62
PO3-2-PO3 PO3-2-PO3.ucl UNSAT 3.34
PO3-3-PO3 PO3-3-PO3.ucl UNSAT 4.97
PO3-4-PO3 PO3-4-PO3.ucl UNSAT 7.04
PO3-5-PO3 PO3-5-PO3.ucl UNSAT 9.01
PO3-6-PO3 PO3-6-PO3.ucl UNSAT 10.96
PO3-7-PO3 PO3-7-PO3.ucl UNSAT 12.86
PO3-8-PO3 PO3-8-PO3.ucl UNSAT 26.65
PO3-9-PO3 PO3-9-PO3.ucl UNSAT 47.61
PO4-10-PO4 PO4-10-PO4.ucl UNSAT 176.37
PO4-11-PO4 PO4-11-PO4.ucl UNSAT 360.86
PO4-12-PO4 PO4-12-PO4.ucl SAT 194.87
PO4-2-PO4 PO4-2-PO4.ucl UNSAT 15.16
PO4-3-PO4 PO4-3-PO4.ucl UNSAT 23.81
PO4-4-PO4 PO4-4-PO4.ucl UNSAT 35.61
PO4-5-PO4 PO4-5-PO4.ucl UNSAT 47.06
PO4-6-PO4 PO4-6-PO4.ucl UNSAT 59.22
PO4-7-PO4 PO4-7-PO4.ucl UNSAT 73.39
PO4-8-PO4 PO4-8-PO4.ucl UNSAT 92.15
PO4-9-PO4 PO4-9-PO4.ucl UNSAT 109.13
PO5-10-PO5 PO5-10-PO5.ucl KILLED 30.13
PO5-11-PO5 PO5-11-PO5.ucl KILLED 32.71
PO5-12-PO5 PO5-12-PO5.ucl KILLED 35.55
PO5-13-PO5 PO5-13-PO5.ucl KILLED 38.01
PO5-14-PO5 PO5-14-PO5.ucl KILLED 43.42
PO5-2-PO5 PO5-2-PO5.ucl UNSAT 118.75
PO5-3-PO5 PO5-3-PO5.ucl UNSAT 212.97
PO5-4-PO5 PO5-4-PO5.ucl UNSAT 338.96
PO5-5-PO5 PO5-5-PO5.ucl UNSAT 497.50
PO5-6-PO5 PO5-6-PO5.ucl KILLED 18.23
PO5-7-PO5 PO5-7-PO5.ucl KILLED 21.84
PO5-8-PO5 PO5-8-PO5.ucl KILLED 25.20
PO5-9-PO5 PO5-9-PO5.ucl KILLED 27.25