Benchmarking cvcl-1.0.1-fast, DIRECTORY=mathsat, EXT=cvc, MAX_MEMORY=450000, MAX_STACK=40000, MAX_TIME=3600
FISCHER1-1-fair FISCHER1-1-fair.cvc SAT 0.03
FISCHER1-1-ninc FISCHER1-1-ninc.cvc UNSAT 0.02
FISCHER1-2-fair FISCHER1-2-fair.cvc UNSAT 0.05
FISCHER1-2-ninc FISCHER1-2-ninc.cvc SAT 0.05
FISCHER1-3-fair FISCHER1-3-fair.cvc UNSAT 0.07
FISCHER1-4-fair FISCHER1-4-fair.cvc UNSAT 0.11
FISCHER1-5-fair FISCHER1-5-fair.cvc UNSAT 0.14
FISCHER1-6-fair FISCHER1-6-fair.cvc UNSAT 0.16
FISCHER10-1-fair FISCHER10-1-fair.cvc SAT 0.65
FISCHER10-1-ninc FISCHER10-1-ninc.cvc UNSAT 0.30
FISCHER10-10-fair FISCHER10-10-fair.cvc KILLED 1256.99
FISCHER10-10-ninc FISCHER10-10-ninc.cvc KILLED 1327.04
FISCHER10-11-fair FISCHER10-11-fair.cvc KILLED 1689.26
FISCHER10-11-ninc FISCHER10-11-ninc.cvc KILLED 3600.01
FISCHER10-12-fair FISCHER10-12-fair.cvc KILLED 849.16
FISCHER10-13-fair FISCHER10-13-fair.cvc KILLED 3600.13
FISCHER10-14-fair FISCHER10-14-fair.cvc KILLED 3599.94
FISCHER10-15-fair FISCHER10-15-fair.cvc KILLED 64.67
FISCHER10-2-fair FISCHER10-2-fair.cvc UNSAT 0.98
FISCHER10-2-ninc FISCHER10-2-ninc.cvc UNSAT 0.80
FISCHER10-3-fair FISCHER10-3-fair.cvc UNSAT 1.93
FISCHER10-3-ninc FISCHER10-3-ninc.cvc UNSAT 1.72
FISCHER10-4-fair FISCHER10-4-fair.cvc UNSAT 4.83
FISCHER10-4-ninc FISCHER10-4-ninc.cvc UNSAT 3.38
FISCHER10-5-fair FISCHER10-5-fair.cvc UNSAT 10.94
FISCHER10-5-ninc FISCHER10-5-ninc.cvc UNSAT 8.89
FISCHER10-6-fair FISCHER10-6-fair.cvc UNSAT 16.93
FISCHER10-6-ninc FISCHER10-6-ninc.cvc UNSAT 31.07
FISCHER10-7-fair FISCHER10-7-fair.cvc UNSAT 43.22
FISCHER10-7-ninc FISCHER10-7-ninc.cvc UNSAT 145.04
FISCHER10-8-fair FISCHER10-8-fair.cvc UNSAT 117.41
FISCHER10-8-ninc FISCHER10-8-ninc.cvc UNSAT 653.00
FISCHER10-9-fair FISCHER10-9-fair.cvc UNSAT 218.40
FISCHER10-9-ninc FISCHER10-9-ninc.cvc KILLED 759.40
FISCHER11-1-fair FISCHER11-1-fair.cvc KILLED 3600.99
FISCHER11-1-ninc FISCHER11-1-ninc.cvc UNSAT 0.36
FISCHER11-10-fair FISCHER11-10-fair.cvc KILLED 3600.24
FISCHER11-10-ninc FISCHER11-10-ninc.cvc KILLED 1832.90
FISCHER11-11-fair FISCHER11-11-fair.cvc KILLED 3236.44
FISCHER11-11-ninc FISCHER11-11-ninc.cvc KILLED 3600.18
FISCHER11-12-fair FISCHER11-12-fair.cvc KILLED 2434.89
FISCHER11-12-ninc FISCHER11-12-ninc.cvc KILLED 497.67
FISCHER11-13-fair FISCHER11-13-fair.cvc KILLED 3599.80
FISCHER11-14-fair FISCHER11-14-fair.cvc KILLED 66.03
FISCHER11-15-fair FISCHER11-15-fair.cvc KILLED 67.13
FISCHER11-16-fair FISCHER11-16-fair.cvc KILLED 66.02
FISCHER11-2-fair FISCHER11-2-fair.cvc UNSAT 1.15
FISCHER11-2-ninc FISCHER11-2-ninc.cvc UNSAT 0.87
FISCHER11-3-fair FISCHER11-3-fair.cvc UNSAT 2.25
FISCHER11-3-ninc FISCHER11-3-ninc.cvc UNSAT 2.02
FISCHER11-4-fair FISCHER11-4-fair.cvc UNSAT 5.42
FISCHER11-4-ninc FISCHER11-4-ninc.cvc UNSAT 3.84
FISCHER11-5-fair FISCHER11-5-fair.cvc UNSAT 11.92
FISCHER11-5-ninc FISCHER11-5-ninc.cvc UNSAT 11.06
FISCHER11-6-fair FISCHER11-6-fair.cvc UNSAT 22.55
FISCHER11-6-ninc FISCHER11-6-ninc.cvc UNSAT 31.54
FISCHER11-7-fair FISCHER11-7-fair.cvc UNSAT 43.58
FISCHER11-7-ninc FISCHER11-7-ninc.cvc UNSAT 171.74
FISCHER11-8-fair FISCHER11-8-fair.cvc UNSAT 140.46
FISCHER11-8-ninc FISCHER11-8-ninc.cvc UNSAT 2923.14
FISCHER11-9-fair FISCHER11-9-fair.cvc UNSAT 252.31
FISCHER11-9-ninc FISCHER11-9-ninc.cvc UNSAT 2539.13
FISCHER12-1-ninc FISCHER12-1-ninc.cvc UNSAT 0.38
FISCHER12-10-ninc FISCHER12-10-ninc.cvc KILLED 3600.07
FISCHER12-11-ninc FISCHER12-11-ninc.cvc KILLED 3600.17
FISCHER12-12-ninc FISCHER12-12-ninc.cvc KILLED 602.23
FISCHER12-13-ninc FISCHER12-13-ninc.cvc KILLED 68.15
FISCHER12-2-ninc FISCHER12-2-ninc.cvc UNSAT 1.06
FISCHER12-3-ninc FISCHER12-3-ninc.cvc UNSAT 2.39
FISCHER12-4-ninc FISCHER12-4-ninc.cvc UNSAT 4.64
FISCHER12-5-ninc FISCHER12-5-ninc.cvc UNSAT 12.47
FISCHER12-6-ninc FISCHER12-6-ninc.cvc UNSAT 39.02
FISCHER12-7-ninc FISCHER12-7-ninc.cvc UNSAT 183.60
FISCHER12-8-ninc FISCHER12-8-ninc.cvc UNSAT 841.58
FISCHER12-9-ninc FISCHER12-9-ninc.cvc KILLED 741.42
FISCHER13-1-ninc FISCHER13-1-ninc.cvc UNSAT 0.43
FISCHER13-10-ninc FISCHER13-10-ninc.cvc KILLED 3600.06
FISCHER13-11-ninc FISCHER13-11-ninc.cvc KILLED 849.06
FISCHER13-12-ninc FISCHER13-12-ninc.cvc KILLED 63.18
FISCHER13-13-ninc FISCHER13-13-ninc.cvc KILLED 64.08
FISCHER13-14-ninc FISCHER13-14-ninc.cvc KILLED 63.13
FISCHER13-2-ninc FISCHER13-2-ninc.cvc UNSAT 1.27
FISCHER13-3-ninc FISCHER13-3-ninc.cvc UNSAT 2.61
FISCHER13-4-ninc FISCHER13-4-ninc.cvc UNSAT 5.42
FISCHER13-5-ninc FISCHER13-5-ninc.cvc UNSAT 14.15
FISCHER13-6-ninc FISCHER13-6-ninc.cvc UNSAT 42.76
FISCHER13-7-ninc FISCHER13-7-ninc.cvc UNSAT 906.07
FISCHER13-8-ninc FISCHER13-8-ninc.cvc UNSAT 722.95
FISCHER13-9-ninc FISCHER13-9-ninc.cvc KILLED 2625.62
FISCHER14-1-ninc FISCHER14-1-ninc.cvc UNSAT 0.55
FISCHER14-10-ninc FISCHER14-10-ninc.cvc KILLED 3599.78
FISCHER14-11-ninc FISCHER14-11-ninc.cvc KILLED 66.78
FISCHER14-12-ninc FISCHER14-12-ninc.cvc KILLED 66.52
FISCHER14-13-ninc FISCHER14-13-ninc.cvc KILLED 66.98
FISCHER14-14-ninc FISCHER14-14-ninc.cvc KILLED 63.36
FISCHER14-15-ninc FISCHER14-15-ninc.cvc KILLED 63.00
FISCHER14-2-ninc FISCHER14-2-ninc.cvc UNSAT 1.45
FISCHER14-3-ninc FISCHER14-3-ninc.cvc UNSAT 3.12
FISCHER14-4-ninc FISCHER14-4-ninc.cvc UNSAT 6.92
FISCHER14-5-ninc FISCHER14-5-ninc.cvc UNSAT 16.94
FISCHER14-6-ninc FISCHER14-6-ninc.cvc UNSAT 49.06
FISCHER14-7-ninc FISCHER14-7-ninc.cvc UNSAT 357.94
FISCHER14-8-ninc FISCHER14-8-ninc.cvc UNSAT 879.09
FISCHER14-9-ninc FISCHER14-9-ninc.cvc KILLED 537.64
FISCHER2-1-fair FISCHER2-1-fair.cvc SAT 0.05
FISCHER2-1-ninc FISCHER2-1-ninc.cvc UNSAT 0.03
FISCHER2-2-fair FISCHER2-2-fair.cvc UNSAT 0.10
FISCHER2-2-ninc FISCHER2-2-ninc.cvc UNSAT 0.11
FISCHER2-3-fair FISCHER2-3-fair.cvc UNSAT 0.17
FISCHER2-3-ninc FISCHER2-3-ninc.cvc SAT 0.16
FISCHER2-4-fair FISCHER2-4-fair.cvc UNSAT 0.35
FISCHER2-5-fair FISCHER2-5-fair.cvc UNSAT 0.73
FISCHER2-6-fair FISCHER2-6-fair.cvc UNSAT 1.54
FISCHER2-7-fair FISCHER2-7-fair.cvc SAT 2.08
FISCHER3-1-fair FISCHER3-1-fair.cvc SAT 0.10
FISCHER3-1-ninc FISCHER3-1-ninc.cvc UNSAT 0.06
FISCHER3-2-fair FISCHER3-2-fair.cvc UNSAT 0.17
FISCHER3-2-ninc FISCHER3-2-ninc.cvc UNSAT 0.13
FISCHER3-3-fair FISCHER3-3-fair.cvc UNSAT 0.29
FISCHER3-3-ninc FISCHER3-3-ninc.cvc UNSAT 0.30
FISCHER3-4-fair FISCHER3-4-fair.cvc UNSAT 0.66
FISCHER3-4-ninc FISCHER3-4-ninc.cvc SAT 0.47
FISCHER3-5-fair FISCHER3-5-fair.cvc UNSAT 1.42
FISCHER3-6-fair FISCHER3-6-fair.cvc UNSAT 3.36
FISCHER3-7-fair FISCHER3-7-fair.cvc UNSAT 7.59
FISCHER3-8-fair FISCHER3-8-fair.cvc SAT 8.98
FISCHER4-1-fair FISCHER4-1-fair.cvc SAT 0.16
FISCHER4-1-ninc FISCHER4-1-ninc.cvc UNSAT 0.10
FISCHER4-2-fair FISCHER4-2-fair.cvc UNSAT 0.23
FISCHER4-2-ninc FISCHER4-2-ninc.cvc UNSAT 0.21
FISCHER4-3-fair FISCHER4-3-fair.cvc UNSAT 0.48
FISCHER4-3-ninc FISCHER4-3-ninc.cvc UNSAT 0.42
FISCHER4-4-fair FISCHER4-4-fair.cvc UNSAT 1.19
FISCHER4-4-ninc FISCHER4-4-ninc.cvc UNSAT 1.05
FISCHER4-5-fair FISCHER4-5-fair.cvc UNSAT 2.39
FISCHER4-5-ninc FISCHER4-5-ninc.cvc SAT 3.49
FISCHER4-6-fair FISCHER4-6-fair.cvc UNSAT 4.28
FISCHER4-7-fair FISCHER4-7-fair.cvc UNSAT 8.80
FISCHER4-8-fair FISCHER4-8-fair.cvc UNSAT 19.54
FISCHER4-9-fair FISCHER4-9-fair.cvc SAT 16.94
FISCHER5-1-fair FISCHER5-1-fair.cvc SAT 0.15
FISCHER5-1-ninc FISCHER5-1-ninc.cvc UNSAT 0.11
FISCHER5-10-fair FISCHER5-10-fair.cvc SAT 166.56
FISCHER5-2-fair FISCHER5-2-fair.cvc UNSAT 0.34
FISCHER5-2-ninc FISCHER5-2-ninc.cvc UNSAT 0.29
FISCHER5-3-fair FISCHER5-3-fair.cvc UNSAT 0.67
FISCHER5-3-ninc FISCHER5-3-ninc.cvc UNSAT 0.55
FISCHER5-4-fair FISCHER5-4-fair.cvc UNSAT 1.60
FISCHER5-4-ninc FISCHER5-4-ninc.cvc UNSAT 1.35
FISCHER5-5-fair FISCHER5-5-fair.cvc UNSAT 2.67
FISCHER5-5-ninc FISCHER5-5-ninc.cvc UNSAT 4.22
FISCHER5-6-fair FISCHER5-6-fair.cvc UNSAT 7.54
FISCHER5-6-ninc FISCHER5-6-ninc.cvc SAT 8.29
FISCHER5-7-fair FISCHER5-7-fair.cvc UNSAT 9.55
FISCHER5-8-fair FISCHER5-8-fair.cvc UNSAT 32.01
FISCHER5-9-fair FISCHER5-9-fair.cvc UNSAT 60.36
FISCHER6-1-fair FISCHER6-1-fair.cvc SAT 0.21
FISCHER6-1-ninc FISCHER6-1-ninc.cvc UNSAT 0.15
FISCHER6-10-fair FISCHER6-10-fair.cvc UNSAT 2577.53
FISCHER6-11-fair FISCHER6-11-fair.cvc KILLED 3600.71
FISCHER6-2-fair FISCHER6-2-fair.cvc UNSAT 0.46
FISCHER6-2-ninc FISCHER6-2-ninc.cvc UNSAT 0.37
FISCHER6-3-fair FISCHER6-3-fair.cvc UNSAT 0.87
FISCHER6-3-ninc FISCHER6-3-ninc.cvc UNSAT 0.71
FISCHER6-4-fair FISCHER6-4-fair.cvc UNSAT 2.01
FISCHER6-4-ninc FISCHER6-4-ninc.cvc UNSAT 1.66
FISCHER6-5-fair FISCHER6-5-fair.cvc UNSAT 3.90
FISCHER6-5-ninc FISCHER6-5-ninc.cvc UNSAT 4.98
FISCHER6-6-fair FISCHER6-6-fair.cvc UNSAT 7.77
FISCHER6-6-ninc FISCHER6-6-ninc.cvc UNSAT 19.33
FISCHER6-7-fair FISCHER6-7-fair.cvc UNSAT 22.96
FISCHER6-7-ninc FISCHER6-7-ninc.cvc SAT 87.03
FISCHER6-8-fair FISCHER6-8-fair.cvc UNSAT 35.63
FISCHER6-9-fair FISCHER6-9-fair.cvc UNSAT 170.26
FISCHER7-1-fair FISCHER7-1-fair.cvc SAT 0.32
FISCHER7-1-ninc FISCHER7-1-ninc.cvc UNSAT 0.18
FISCHER7-10-fair FISCHER7-10-fair.cvc UNSAT 253.68
FISCHER7-11-fair FISCHER7-11-fair.cvc KILLED 1928.62
FISCHER7-12-fair FISCHER7-12-fair.cvc KILLED 2140.72
FISCHER7-2-fair FISCHER7-2-fair.cvc UNSAT 0.55
FISCHER7-2-ninc FISCHER7-2-ninc.cvc UNSAT 0.47
FISCHER7-3-fair FISCHER7-3-fair.cvc UNSAT 1.11
FISCHER7-3-ninc FISCHER7-3-ninc.cvc UNSAT 0.91
FISCHER7-4-fair FISCHER7-4-fair.cvc UNSAT 2.61
FISCHER7-4-ninc FISCHER7-4-ninc.cvc UNSAT 1.77
FISCHER7-5-fair FISCHER7-5-fair.cvc UNSAT 6.29
FISCHER7-5-ninc FISCHER7-5-ninc.cvc UNSAT 6.28
FISCHER7-6-fair FISCHER7-6-fair.cvc UNSAT 9.85
FISCHER7-6-ninc FISCHER7-6-ninc.cvc UNSAT 18.87
FISCHER7-7-fair FISCHER7-7-fair.cvc UNSAT 23.38
FISCHER7-7-ninc FISCHER7-7-ninc.cvc UNSAT 100.73
FISCHER7-8-fair FISCHER7-8-fair.cvc UNSAT 56.19
FISCHER7-8-ninc FISCHER7-8-ninc.cvc KILLED 416.03
FISCHER7-9-fair FISCHER7-9-fair.cvc UNSAT 270.67
FISCHER8-1-fair FISCHER8-1-fair.cvc SAT 0.42
FISCHER8-1-ninc FISCHER8-1-ninc.cvc UNSAT 0.23
FISCHER8-10-fair FISCHER8-10-fair.cvc KILLED 2951.39
FISCHER8-11-fair FISCHER8-11-fair.cvc KILLED 3600.50
FISCHER8-12-fair FISCHER8-12-fair.cvc KILLED 3600.49
FISCHER8-13-fair FISCHER8-13-fair.cvc KILLED 1065.96
FISCHER8-2-fair FISCHER8-2-fair.cvc UNSAT 0.67
FISCHER8-2-ninc FISCHER8-2-ninc.cvc UNSAT 0.54
FISCHER8-3-fair FISCHER8-3-fair.cvc UNSAT 1.35
FISCHER8-3-ninc FISCHER8-3-ninc.cvc UNSAT 1.08
FISCHER8-4-fair FISCHER8-4-fair.cvc UNSAT 3.85
FISCHER8-4-ninc FISCHER8-4-ninc.cvc UNSAT 2.39
FISCHER8-5-fair FISCHER8-5-fair.cvc UNSAT 7.09
FISCHER8-5-ninc FISCHER8-5-ninc.cvc UNSAT 6.81
FISCHER8-6-fair FISCHER8-6-fair.cvc UNSAT 11.23
FISCHER8-6-ninc FISCHER8-6-ninc.cvc UNSAT 24.04
FISCHER8-7-fair FISCHER8-7-fair.cvc UNSAT 29.78
FISCHER8-7-ninc FISCHER8-7-ninc.cvc UNSAT 116.96
FISCHER8-8-fair FISCHER8-8-fair.cvc UNSAT 60.98
FISCHER8-8-ninc FISCHER8-8-ninc.cvc UNSAT 805.68
FISCHER8-9-fair FISCHER8-9-fair.cvc KILLED 1033.52
FISCHER8-9-ninc FISCHER8-9-ninc.cvc KILLED 2986.84
FISCHER9-1-fair FISCHER9-1-fair.cvc SAT 0.53
FISCHER9-1-ninc FISCHER9-1-ninc.cvc UNSAT 0.26
FISCHER9-10-fair FISCHER9-10-fair.cvc KILLED 3600.46
FISCHER9-10-ninc FISCHER9-10-ninc.cvc KILLED 3600.54
FISCHER9-11-fair FISCHER9-11-fair.cvc KILLED 3600.20
FISCHER9-12-fair FISCHER9-12-fair.cvc KILLED 3600.38
FISCHER9-13-fair FISCHER9-13-fair.cvc KILLED 2017.43
FISCHER9-14-fair FISCHER9-14-fair.cvc KILLED 837.53
FISCHER9-2-fair FISCHER9-2-fair.cvc UNSAT 0.85
FISCHER9-2-ninc FISCHER9-2-ninc.cvc UNSAT 0.68
FISCHER9-3-fair FISCHER9-3-fair.cvc UNSAT 1.57
FISCHER9-3-ninc FISCHER9-3-ninc.cvc UNSAT 1.39
FISCHER9-4-fair FISCHER9-4-fair.cvc UNSAT 4.07
FISCHER9-4-ninc FISCHER9-4-ninc.cvc UNSAT 2.72
FISCHER9-5-fair FISCHER9-5-fair.cvc UNSAT 8.37
FISCHER9-5-ninc FISCHER9-5-ninc.cvc UNSAT 8.14
FISCHER9-6-fair FISCHER9-6-fair.cvc UNSAT 16.27
FISCHER9-6-ninc FISCHER9-6-ninc.cvc UNSAT 26.55
FISCHER9-7-fair FISCHER9-7-fair.cvc UNSAT 31.77
FISCHER9-7-ninc FISCHER9-7-ninc.cvc UNSAT 141.07
FISCHER9-8-fair FISCHER9-8-fair.cvc UNSAT 83.62
FISCHER9-8-ninc FISCHER9-8-ninc.cvc KILLED 3600.72
FISCHER9-9-fair FISCHER9-9-fair.cvc UNSAT 203.20
FISCHER9-9-ninc FISCHER9-9-ninc.cvc KILLED 1498.82
PO2-2-PO2 PO2-2-PO2.cvc UNSAT 0.15
PO2-3-PO2 PO2-3-PO2.cvc UNSAT 0.21
PO2-4-PO2 PO2-4-PO2.cvc UNSAT 0.32
PO2-5-PO2 PO2-5-PO2.cvc UNSAT 0.48
PO2-6-PO2 PO2-6-PO2.cvc UNSAT 0.76
PO2-7-PO2 PO2-7-PO2.cvc UNSAT 1.38
PO2-8-PO2 PO2-8-PO2.cvc SAT 2.22
PO3-10-PO3 PO3-10-PO3.cvc KILLED 127.65
PO3-2-PO3 PO3-2-PO3.cvc UNSAT 0.84
PO3-3-PO3 PO3-3-PO3.cvc UNSAT 1.65
PO3-4-PO3 PO3-4-PO3.cvc UNSAT 3.08
PO3-5-PO3 PO3-5-PO3.cvc UNSAT 5.14
PO3-6-PO3 PO3-6-PO3.cvc UNSAT 8.93
PO3-7-PO3 PO3-7-PO3.cvc UNSAT 14.46
PO3-8-PO3 PO3-8-PO3.cvc UNSAT 23.47
PO3-9-PO3 PO3-9-PO3.cvc UNSAT 61.11
PO4-10-PO4 PO4-10-PO4.cvc KILLED 65.56
PO4-11-PO4 PO4-11-PO4.cvc KILLED 65.29
PO4-12-PO4 PO4-12-PO4.cvc KILLED 63.71
PO4-2-PO4 PO4-2-PO4.cvc UNSAT 26.44
PO4-3-PO4 PO4-3-PO4.cvc KILLED 61.49
PO4-4-PO4 PO4-4-PO4.cvc KILLED 61.72
PO4-5-PO4 PO4-5-PO4.cvc KILLED 64.08
PO4-6-PO4 PO4-6-PO4.cvc KILLED 62.58
PO4-7-PO4 PO4-7-PO4.cvc KILLED 63.67
PO4-8-PO4 PO4-8-PO4.cvc KILLED 64.25
PO4-9-PO4 PO4-9-PO4.cvc KILLED 64.63
PO5-10-PO5 PO5-10-PO5.cvc KILLED 16.97
PO5-11-PO5 PO5-11-PO5.cvc KILLED 18.58
PO5-12-PO5 PO5-12-PO5.cvc KILLED 20.63
PO5-13-PO5 PO5-13-PO5.cvc KILLED 21.88
PO5-14-PO5 PO5-14-PO5.cvc KILLED 23.65
PO5-2-PO5 PO5-2-PO5.cvc KILLED 63.67
PO5-3-PO5 PO5-3-PO5.cvc KILLED 65.80
PO5-4-PO5 PO5-4-PO5.cvc KILLED 67.67
PO5-5-PO5 PO5-5-PO5.cvc KILLED 9.01
PO5-6-PO5 PO5-6-PO5.cvc KILLED 10.16
PO5-7-PO5 PO5-7-PO5.cvc KILLED 11.79
PO5-8-PO5 PO5-8-PO5.cvc KILLED 13.88
PO5-9-PO5 PO5-9-PO5.cvc KILLED 15.74