Benchmarking simplify, DIRECTORY=mathsat, EXT=smp, MAX_MEMORY=450000, MAX_STACK=40000, MAX_TIME=3600
FISCHER1-1-fair FISCHER1-1-fair.smp SAT 0.02
FISCHER1-1-ninc FISCHER1-1-ninc.smp UNSAT 0.03
FISCHER1-2-fair FISCHER1-2-fair.smp UNSAT 0.02
FISCHER1-2-ninc FISCHER1-2-ninc.smp SAT 0.04
FISCHER1-3-fair FISCHER1-3-fair.smp UNSAT 0.05
FISCHER1-4-fair FISCHER1-4-fair.smp UNSAT 0.06
FISCHER1-5-fair FISCHER1-5-fair.smp UNSAT 0.05
FISCHER1-6-fair FISCHER1-6-fair.smp UNSAT 0.09
FISCHER10-1-fair FISCHER10-1-fair.smp SAT 0.17
FISCHER10-1-ninc FISCHER10-1-ninc.smp UNSAT 0.13
FISCHER10-10-fair FISCHER10-10-fair.smp KILLED 3597.10
FISCHER10-10-ninc FISCHER10-10-ninc.smp KILLED 3596.77
FISCHER10-11-fair FISCHER10-11-fair.smp KILLED 3597.44
FISCHER10-11-ninc FISCHER10-11-ninc.smp KILLED 3597.12
FISCHER10-12-fair FISCHER10-12-fair.smp KILLED 3597.20
FISCHER10-13-fair FISCHER10-13-fair.smp KILLED 3598.34
FISCHER10-14-fair FISCHER10-14-fair.smp KILLED 3598.02
FISCHER10-15-fair FISCHER10-15-fair.smp KILLED 3597.19
FISCHER10-2-fair FISCHER10-2-fair.smp UNSAT 1.23
FISCHER10-2-ninc FISCHER10-2-ninc.smp UNSAT 0.28
FISCHER10-3-fair FISCHER10-3-fair.smp UNSAT 1.30
FISCHER10-3-ninc FISCHER10-3-ninc.smp UNSAT 0.52
FISCHER10-4-fair FISCHER10-4-fair.smp UNSAT 54.74
FISCHER10-4-ninc FISCHER10-4-ninc.smp UNSAT 1.45
FISCHER10-5-fair FISCHER10-5-fair.smp UNSAT 291.55
FISCHER10-5-ninc FISCHER10-5-ninc.smp UNSAT 12.98
FISCHER10-6-fair FISCHER10-6-fair.smp UNSAT 3119.87
FISCHER10-6-ninc FISCHER10-6-ninc.smp UNSAT 250.58
FISCHER10-7-fair FISCHER10-7-fair.smp KILLED 3596.61
FISCHER10-7-ninc FISCHER10-7-ninc.smp KILLED 3596.80
FISCHER10-8-fair FISCHER10-8-fair.smp KILLED 3597.19
FISCHER10-8-ninc FISCHER10-8-ninc.smp KILLED 3596.13
FISCHER10-9-fair FISCHER10-9-fair.smp KILLED 3596.53
FISCHER10-9-ninc FISCHER10-9-ninc.smp KILLED 3596.08
FISCHER11-1-fair FISCHER11-1-fair.smp SAT 0.18
FISCHER11-1-ninc FISCHER11-1-ninc.smp UNSAT 0.11
FISCHER11-10-fair FISCHER11-10-fair.smp KILLED 3596.93
FISCHER11-10-ninc FISCHER11-10-ninc.smp KILLED 3597.25
FISCHER11-11-fair FISCHER11-11-fair.smp KILLED 3597.16
FISCHER11-11-ninc FISCHER11-11-ninc.smp KILLED 3597.52
FISCHER11-12-fair FISCHER11-12-fair.smp KILLED 3597.38
FISCHER11-12-ninc FISCHER11-12-ninc.smp KILLED 3597.96
FISCHER11-13-fair FISCHER11-13-fair.smp KILLED 3598.43
FISCHER11-14-fair FISCHER11-14-fair.smp KILLED 3598.13
FISCHER11-15-fair FISCHER11-15-fair.smp KILLED 3597.45
FISCHER11-16-fair FISCHER11-16-fair.smp KILLED 3596.70
FISCHER11-2-fair FISCHER11-2-fair.smp UNSAT 2.18
FISCHER11-2-ninc FISCHER11-2-ninc.smp UNSAT 0.30
FISCHER11-3-fair FISCHER11-3-fair.smp UNSAT 1.72
FISCHER11-3-ninc FISCHER11-3-ninc.smp UNSAT 0.57
FISCHER11-4-fair FISCHER11-4-fair.smp UNSAT 289.90
FISCHER11-4-ninc FISCHER11-4-ninc.smp UNSAT 1.70
FISCHER11-5-fair FISCHER11-5-fair.smp UNSAT 1543.75
FISCHER11-5-ninc FISCHER11-5-ninc.smp UNSAT 14.97
FISCHER11-6-fair FISCHER11-6-fair.smp UNSAT 1439.70
FISCHER11-6-ninc FISCHER11-6-ninc.smp UNSAT 477.55
FISCHER11-7-fair FISCHER11-7-fair.smp KILLED 3597.17
FISCHER11-7-ninc FISCHER11-7-ninc.smp KILLED 3596.55
FISCHER11-8-fair FISCHER11-8-fair.smp KILLED 3597.14
FISCHER11-8-ninc FISCHER11-8-ninc.smp KILLED 3597.22
FISCHER11-9-fair FISCHER11-9-fair.smp KILLED 3597.29
FISCHER11-9-ninc FISCHER11-9-ninc.smp KILLED 3597.41
FISCHER12-1-ninc FISCHER12-1-ninc.smp UNSAT 0.16
FISCHER12-10-ninc FISCHER12-10-ninc.smp KILLED 3597.94
FISCHER12-11-ninc FISCHER12-11-ninc.smp KILLED 3597.78
FISCHER12-12-ninc FISCHER12-12-ninc.smp KILLED 3597.77
FISCHER12-13-ninc FISCHER12-13-ninc.smp KILLED 3596.97
FISCHER12-2-ninc FISCHER12-2-ninc.smp UNSAT 0.38
FISCHER12-3-ninc FISCHER12-3-ninc.smp UNSAT 0.66
FISCHER12-4-ninc FISCHER12-4-ninc.smp UNSAT 1.77
FISCHER12-5-ninc FISCHER12-5-ninc.smp UNSAT 17.71
FISCHER12-6-ninc FISCHER12-6-ninc.smp UNSAT 421.79
FISCHER12-7-ninc FISCHER12-7-ninc.smp KILLED 3596.52
FISCHER12-8-ninc FISCHER12-8-ninc.smp KILLED 3597.46
FISCHER12-9-ninc FISCHER12-9-ninc.smp KILLED 3597.02
FISCHER13-1-ninc FISCHER13-1-ninc.smp UNSAT 0.19
FISCHER13-10-ninc FISCHER13-10-ninc.smp KILLED 3597.63
FISCHER13-11-ninc FISCHER13-11-ninc.smp KILLED 3597.99
FISCHER13-12-ninc FISCHER13-12-ninc.smp KILLED 3598.01
FISCHER13-13-ninc FISCHER13-13-ninc.smp KILLED 3597.61
FISCHER13-14-ninc FISCHER13-14-ninc.smp KILLED 3597.22
FISCHER13-2-ninc FISCHER13-2-ninc.smp UNSAT 0.43
FISCHER13-3-ninc FISCHER13-3-ninc.smp UNSAT 0.63
FISCHER13-4-ninc FISCHER13-4-ninc.smp UNSAT 2.03
FISCHER13-5-ninc FISCHER13-5-ninc.smp UNSAT 20.20
FISCHER13-6-ninc FISCHER13-6-ninc.smp UNSAT 628.16
FISCHER13-7-ninc FISCHER13-7-ninc.smp KILLED 3597.30
FISCHER13-8-ninc FISCHER13-8-ninc.smp KILLED 3597.00
FISCHER13-9-ninc FISCHER13-9-ninc.smp KILLED 3597.58
FISCHER14-1-ninc FISCHER14-1-ninc.smp UNSAT 0.20
FISCHER14-10-ninc FISCHER14-10-ninc.smp KILLED 3598.06
FISCHER14-11-ninc FISCHER14-11-ninc.smp KILLED 3598.10
FISCHER14-12-ninc FISCHER14-12-ninc.smp KILLED 3597.77
FISCHER14-13-ninc FISCHER14-13-ninc.smp KILLED 3597.19
FISCHER14-14-ninc FISCHER14-14-ninc.smp KILLED 3597.77
FISCHER14-15-ninc FISCHER14-15-ninc.smp KILLED 3597.98
FISCHER14-2-ninc FISCHER14-2-ninc.smp UNSAT 0.49
FISCHER14-3-ninc FISCHER14-3-ninc.smp UNSAT 0.77
FISCHER14-4-ninc FISCHER14-4-ninc.smp UNSAT 2.43
FISCHER14-5-ninc FISCHER14-5-ninc.smp UNSAT 21.63
FISCHER14-6-ninc FISCHER14-6-ninc.smp UNSAT 560.85
FISCHER14-7-ninc FISCHER14-7-ninc.smp KILLED 3597.52
FISCHER14-8-ninc FISCHER14-8-ninc.smp KILLED 3597.79
FISCHER14-9-ninc FISCHER14-9-ninc.smp KILLED 3598.25
FISCHER2-1-fair FISCHER2-1-fair.smp SAT 0.03
FISCHER2-1-ninc FISCHER2-1-ninc.smp UNSAT 0.02
FISCHER2-2-fair FISCHER2-2-fair.smp UNSAT 0.07
FISCHER2-2-ninc FISCHER2-2-ninc.smp UNSAT 0.02
FISCHER2-3-fair FISCHER2-3-fair.smp UNSAT 0.10
FISCHER2-3-ninc FISCHER2-3-ninc.smp SAT 0.10
FISCHER2-4-fair FISCHER2-4-fair.smp UNSAT 0.12
FISCHER2-5-fair FISCHER2-5-fair.smp UNSAT 0.20
FISCHER2-6-fair FISCHER2-6-fair.smp UNSAT 0.43
FISCHER2-7-fair FISCHER2-7-fair.smp SAT 0.25
FISCHER3-1-fair FISCHER3-1-fair.smp SAT 0.04
FISCHER3-1-ninc FISCHER3-1-ninc.smp UNSAT 0.03
FISCHER3-2-fair FISCHER3-2-fair.smp UNSAT 0.07
FISCHER3-2-ninc FISCHER3-2-ninc.smp UNSAT 0.03
FISCHER3-3-fair FISCHER3-3-fair.smp UNSAT 0.15
FISCHER3-3-ninc FISCHER3-3-ninc.smp UNSAT 0.14
FISCHER3-4-fair FISCHER3-4-fair.smp UNSAT 0.20
FISCHER3-4-ninc FISCHER3-4-ninc.smp SAT 0.22
FISCHER3-5-fair FISCHER3-5-fair.smp UNSAT 1.17
FISCHER3-6-fair FISCHER3-6-fair.smp UNSAT 2.21
FISCHER3-7-fair FISCHER3-7-fair.smp UNSAT 11.00
FISCHER3-8-fair FISCHER3-8-fair.smp SAT 0.54
FISCHER4-1-fair FISCHER4-1-fair.smp SAT 0.08
FISCHER4-1-ninc FISCHER4-1-ninc.smp UNSAT 0.05
FISCHER4-2-fair FISCHER4-2-fair.smp UNSAT 0.12
FISCHER4-2-ninc FISCHER4-2-ninc.smp UNSAT 0.09
FISCHER4-3-fair FISCHER4-3-fair.smp UNSAT 0.23
FISCHER4-3-ninc FISCHER4-3-ninc.smp UNSAT 0.18
FISCHER4-4-fair FISCHER4-4-fair.smp UNSAT 0.48
FISCHER4-4-ninc FISCHER4-4-ninc.smp UNSAT 0.42
FISCHER4-5-fair FISCHER4-5-fair.smp UNSAT 2.21
FISCHER4-5-ninc FISCHER4-5-ninc.smp SAT 0.39
FISCHER4-6-fair FISCHER4-6-fair.smp UNSAT 7.38
FISCHER4-7-fair FISCHER4-7-fair.smp UNSAT 35.37
FISCHER4-8-fair FISCHER4-8-fair.smp UNSAT 472.46
FISCHER4-9-fair FISCHER4-9-fair.smp SAT 4.50
FISCHER5-1-fair FISCHER5-1-fair.smp SAT 0.10
FISCHER5-1-ninc FISCHER5-1-ninc.smp UNSAT 0.07
FISCHER5-10-fair FISCHER5-10-fair.smp SAT 29.47
FISCHER5-2-fair FISCHER5-2-fair.smp UNSAT 0.18
FISCHER5-2-ninc FISCHER5-2-ninc.smp UNSAT 0.10
FISCHER5-3-fair FISCHER5-3-fair.smp UNSAT 0.32
FISCHER5-3-ninc FISCHER5-3-ninc.smp UNSAT 0.22
FISCHER5-4-fair FISCHER5-4-fair.smp UNSAT 1.23
FISCHER5-4-ninc FISCHER5-4-ninc.smp UNSAT 0.55
FISCHER5-5-fair FISCHER5-5-fair.smp UNSAT 8.05
FISCHER5-5-ninc FISCHER5-5-ninc.smp UNSAT 3.73
FISCHER5-6-fair FISCHER5-6-fair.smp UNSAT 34.10
FISCHER5-6-ninc FISCHER5-6-ninc.smp SAT 1.34
FISCHER5-7-fair FISCHER5-7-fair.smp UNSAT 397.31
FISCHER5-8-fair FISCHER5-8-fair.smp UNSAT 2957.88
FISCHER5-9-fair FISCHER5-9-fair.smp KILLED 3593.67
FISCHER6-1-fair FISCHER6-1-fair.smp SAT 0.09
FISCHER6-1-ninc FISCHER6-1-ninc.smp UNSAT 0.09
FISCHER6-10-fair FISCHER6-10-fair.smp KILLED 3594.75
FISCHER6-11-fair FISCHER6-11-fair.smp KILLED 3594.58
FISCHER6-2-fair FISCHER6-2-fair.smp UNSAT 0.18
FISCHER6-2-ninc FISCHER6-2-ninc.smp UNSAT 0.11
FISCHER6-3-fair FISCHER6-3-fair.smp UNSAT 0.43
FISCHER6-3-ninc FISCHER6-3-ninc.smp UNSAT 0.29
FISCHER6-4-fair FISCHER6-4-fair.smp UNSAT 2.81
FISCHER6-4-ninc FISCHER6-4-ninc.smp UNSAT 0.63
FISCHER6-5-fair FISCHER6-5-fair.smp UNSAT 7.15
FISCHER6-5-ninc FISCHER6-5-ninc.smp UNSAT 5.73
FISCHER6-6-fair FISCHER6-6-fair.smp UNSAT 61.73
FISCHER6-6-ninc FISCHER6-6-ninc.smp UNSAT 99.96
FISCHER6-7-fair FISCHER6-7-fair.smp UNSAT 636.50
FISCHER6-7-ninc FISCHER6-7-ninc.smp SAT 16.31
FISCHER6-8-fair FISCHER6-8-fair.smp UNSAT 3469.52
FISCHER6-9-fair FISCHER6-9-fair.smp KILLED 3594.52
FISCHER7-1-fair FISCHER7-1-fair.smp SAT 0.14
FISCHER7-1-ninc FISCHER7-1-ninc.smp UNSAT 0.12
FISCHER7-10-fair FISCHER7-10-fair.smp KILLED 3595.57
FISCHER7-11-fair FISCHER7-11-fair.smp KILLED 3596.11
FISCHER7-12-fair FISCHER7-12-fair.smp KILLED 3596.12
FISCHER7-2-fair FISCHER7-2-fair.smp UNSAT 0.33
FISCHER7-2-ninc FISCHER7-2-ninc.smp UNSAT 0.18
FISCHER7-3-fair FISCHER7-3-fair.smp UNSAT 0.57
FISCHER7-3-ninc FISCHER7-3-ninc.smp UNSAT 0.34
FISCHER7-4-fair FISCHER7-4-fair.smp UNSAT 5.64
FISCHER7-4-ninc FISCHER7-4-ninc.smp UNSAT 0.83
FISCHER7-5-fair FISCHER7-5-fair.smp UNSAT 40.17
FISCHER7-5-ninc FISCHER7-5-ninc.smp UNSAT 7.34
FISCHER7-6-fair FISCHER7-6-fair.smp UNSAT 285.14
FISCHER7-6-ninc FISCHER7-6-ninc.smp UNSAT 101.55
FISCHER7-7-fair FISCHER7-7-fair.smp UNSAT 2193.62
FISCHER7-7-ninc FISCHER7-7-ninc.smp UNSAT 2897.47
FISCHER7-8-fair FISCHER7-8-fair.smp KILLED 3595.67
FISCHER7-8-ninc FISCHER7-8-ninc.smp SAT 350.98
FISCHER7-9-fair FISCHER7-9-fair.smp KILLED 3594.64
FISCHER8-1-fair FISCHER8-1-fair.smp SAT 0.11
FISCHER8-1-ninc FISCHER8-1-ninc.smp UNSAT 0.12
FISCHER8-10-fair FISCHER8-10-fair.smp KILLED 3596.18
FISCHER8-11-fair FISCHER8-11-fair.smp KILLED 3596.64
FISCHER8-12-fair FISCHER8-12-fair.smp KILLED 3596.65
FISCHER8-13-fair FISCHER8-13-fair.smp KILLED 3597.26
FISCHER8-2-fair FISCHER8-2-fair.smp UNSAT 0.42
FISCHER8-2-ninc FISCHER8-2-ninc.smp UNSAT 0.20
FISCHER8-3-fair FISCHER8-3-fair.smp UNSAT 0.71
FISCHER8-3-ninc FISCHER8-3-ninc.smp UNSAT 0.38
FISCHER8-4-fair FISCHER8-4-fair.smp UNSAT 15.26
FISCHER8-4-ninc FISCHER8-4-ninc.smp UNSAT 1.00
FISCHER8-5-fair FISCHER8-5-fair.smp UNSAT 46.35
FISCHER8-5-ninc FISCHER8-5-ninc.smp UNSAT 9.48
FISCHER8-6-fair FISCHER8-6-fair.smp UNSAT 344.86
FISCHER8-6-ninc FISCHER8-6-ninc.smp UNSAT 140.43
FISCHER8-7-fair FISCHER8-7-fair.smp KILLED 3595.01
FISCHER8-7-ninc FISCHER8-7-ninc.smp KILLED 3595.43
FISCHER8-8-fair FISCHER8-8-fair.smp KILLED 3595.80
FISCHER8-8-ninc FISCHER8-8-ninc.smp KILLED 3595.57
FISCHER8-9-fair FISCHER8-9-fair.smp KILLED 3597.31
FISCHER8-9-ninc FISCHER8-9-ninc.smp KILLED 3595.75
FISCHER9-1-fair FISCHER9-1-fair.smp SAT 0.18
FISCHER9-1-ninc FISCHER9-1-ninc.smp UNSAT 0.10
FISCHER9-10-fair FISCHER9-10-fair.smp KILLED 3596.56
FISCHER9-10-ninc FISCHER9-10-ninc.smp KILLED 3596.79
FISCHER9-11-fair FISCHER9-11-fair.smp KILLED 3596.58
FISCHER9-12-fair FISCHER9-12-fair.smp KILLED 3597.60
FISCHER9-13-fair FISCHER9-13-fair.smp KILLED 3597.47
FISCHER9-14-fair FISCHER9-14-fair.smp KILLED 3597.95
FISCHER9-2-fair FISCHER9-2-fair.smp UNSAT 0.72
FISCHER9-2-ninc FISCHER9-2-ninc.smp UNSAT 0.29
FISCHER9-3-fair FISCHER9-3-fair.smp UNSAT 0.98
FISCHER9-3-ninc FISCHER9-3-ninc.smp UNSAT 0.42
FISCHER9-4-fair FISCHER9-4-fair.smp UNSAT 72.56
FISCHER9-4-ninc FISCHER9-4-ninc.smp UNSAT 1.18
FISCHER9-5-fair FISCHER9-5-fair.smp UNSAT 133.54
FISCHER9-5-ninc FISCHER9-5-ninc.smp UNSAT 11.60
FISCHER9-6-fair FISCHER9-6-fair.smp UNSAT 1402.55
FISCHER9-6-ninc FISCHER9-6-ninc.smp UNSAT 300.94
FISCHER9-7-fair FISCHER9-7-fair.smp KILLED 3596.24
FISCHER9-7-ninc FISCHER9-7-ninc.smp KILLED 3596.28
FISCHER9-8-fair FISCHER9-8-fair.smp KILLED 3597.03
FISCHER9-8-ninc FISCHER9-8-ninc.smp KILLED 3596.11
FISCHER9-9-fair FISCHER9-9-fair.smp KILLED 3596.68
FISCHER9-9-ninc FISCHER9-9-ninc.smp KILLED 3596.32
PO2-2-PO2 PO2-2-PO2.smp UNSAT 0.05
PO2-3-PO2 PO2-3-PO2.smp UNSAT 0.10
PO2-4-PO2 PO2-4-PO2.smp UNSAT 0.13
PO2-5-PO2 PO2-5-PO2.smp UNSAT 0.19
PO2-6-PO2 PO2-6-PO2.smp UNSAT 0.30
PO2-7-PO2 PO2-7-PO2.smp UNSAT 0.30
PO2-8-PO2 PO2-8-PO2.smp SAT 0.42
PO3-10-PO3 PO3-10-PO3.smp SAT 8.75
PO3-2-PO3 PO3-2-PO3.smp UNSAT 0.31
PO3-3-PO3 PO3-3-PO3.smp UNSAT 0.53
PO3-4-PO3 PO3-4-PO3.smp UNSAT 1.20
PO3-5-PO3 PO3-5-PO3.smp UNSAT 1.62
PO3-6-PO3 PO3-6-PO3.smp UNSAT 3.17
PO3-7-PO3 PO3-7-PO3.smp UNSAT 4.27
PO3-8-PO3 PO3-8-PO3.smp UNSAT 5.26
PO3-9-PO3 PO3-9-PO3.smp UNSAT 12.45
PO4-10-PO4 PO4-10-PO4.smp UNSAT 293.79
PO4-11-PO4 PO4-11-PO4.smp KILLED 3598.08
PO4-12-PO4 PO4-12-PO4.smp SAT 271.89
PO4-2-PO4 PO4-2-PO4.smp UNSAT 6.63
PO4-3-PO4 PO4-3-PO4.smp UNSAT 12.95
PO4-4-PO4 PO4-4-PO4.smp UNSAT 25.45
PO4-5-PO4 PO4-5-PO4.smp UNSAT 42.06
PO4-6-PO4 PO4-6-PO4.smp UNSAT 63.27
PO4-7-PO4 PO4-7-PO4.smp UNSAT 89.22
PO4-8-PO4 PO4-8-PO4.smp UNSAT 116.00
PO4-9-PO4 PO4-9-PO4.smp UNSAT 163.42
PO5-10-PO5 PO5-10-PO5.smp KILLED 3600.62
PO5-11-PO5 PO5-11-PO5.smp KILLED 3600.56
PO5-12-PO5 PO5-12-PO5.smp KILLED 3600.66
PO5-13-PO5 PO5-13-PO5.smp KILLED 3600.49
PO5-14-PO5 PO5-14-PO5.smp KILLED 3600.52
PO5-2-PO5 PO5-2-PO5.smp UNSAT 161.07
PO5-3-PO5 PO5-3-PO5.smp UNSAT 351.39
PO5-4-PO5 PO5-4-PO5.smp UNSAT 622.65
PO5-5-PO5 PO5-5-PO5.smp UNSAT 971.62
PO5-6-PO5 PO5-6-PO5.smp UNSAT 1384.27
PO5-7-PO5 PO5-7-PO5.smp UNSAT 1905.04
PO5-8-PO5 PO5-8-PO5.smp UNSAT 2413.70
PO5-9-PO5 PO5-9-PO5.smp UNSAT 3213.51