Benchmarking cvc, DIRECTORY=mathsat, EXT=cvc, MAX_MEMORY=450000, MAX_STACK=40000, MAX_TIME=3600
FISCHER1-1-fair FISCHER1-1-fair.cvc SAT 0.02
FISCHER1-1-ninc FISCHER1-1-ninc.cvc UNSAT 0.04
FISCHER1-2-fair FISCHER1-2-fair.cvc UNSAT 0.08
FISCHER1-2-ninc FISCHER1-2-ninc.cvc SAT 0.06
FISCHER1-3-fair FISCHER1-3-fair.cvc UNSAT 0.11
FISCHER1-4-fair FISCHER1-4-fair.cvc UNSAT 0.17
FISCHER1-5-fair FISCHER1-5-fair.cvc UNSAT 0.20
FISCHER1-6-fair FISCHER1-6-fair.cvc UNSAT 0.23
FISCHER10-1-fair FISCHER10-1-fair.cvc SAT 0.69
FISCHER10-1-ninc FISCHER10-1-ninc.cvc UNSAT 0.55
FISCHER10-10-fair FISCHER10-10-fair.cvc KILLED 287.51
FISCHER10-10-ninc FISCHER10-10-ninc.cvc UNSAT 183.14
FISCHER10-11-fair FISCHER10-11-fair.cvc KILLED 310.20
FISCHER10-11-ninc FISCHER10-11-ninc.cvc SAT 114.83
FISCHER10-12-fair FISCHER10-12-fair.cvc KILLED 321.09
FISCHER10-13-fair FISCHER10-13-fair.cvc KILLED 254.88
FISCHER10-14-fair FISCHER10-14-fair.cvc UNEXPECTED 279.31
FISCHER10-15-fair FISCHER10-15-fair.cvc KILLED 273.54
FISCHER10-2-fair FISCHER10-2-fair.cvc UNSAT 1.81
FISCHER10-2-ninc FISCHER10-2-ninc.cvc UNSAT 1.38
FISCHER10-3-fair FISCHER10-3-fair.cvc UNSAT 4.90
FISCHER10-3-ninc FISCHER10-3-ninc.cvc UNSAT 3.31
FISCHER10-4-fair FISCHER10-4-fair.cvc UNSAT 8.97
FISCHER10-4-ninc FISCHER10-4-ninc.cvc UNSAT 6.26
FISCHER10-5-fair FISCHER10-5-fair.cvc UNSAT 18.13
FISCHER10-5-ninc FISCHER10-5-ninc.cvc UNSAT 11.91
FISCHER10-6-fair FISCHER10-6-fair.cvc UNSAT 34.00
FISCHER10-6-ninc FISCHER10-6-ninc.cvc UNSAT 22.46
FISCHER10-7-fair FISCHER10-7-fair.cvc UNSAT 80.17
FISCHER10-7-ninc FISCHER10-7-ninc.cvc UNSAT 36.35
FISCHER10-8-fair FISCHER10-8-fair.cvc UNSAT 195.13
FISCHER10-8-ninc FISCHER10-8-ninc.cvc UNSAT 59.08
FISCHER10-9-fair FISCHER10-9-fair.cvc UNEXPECTED 323.72
FISCHER10-9-ninc FISCHER10-9-ninc.cvc UNSAT 98.87
FISCHER11-1-fair FISCHER11-1-fair.cvc SAT 0.80
FISCHER11-1-ninc FISCHER11-1-ninc.cvc UNSAT 0.64
FISCHER11-10-fair FISCHER11-10-fair.cvc KILLED 315.91
FISCHER11-10-ninc FISCHER11-10-ninc.cvc UNSAT 256.01
FISCHER11-11-fair FISCHER11-11-fair.cvc KILLED 337.98
FISCHER11-11-ninc FISCHER11-11-ninc.cvc KILLED 340.77
FISCHER11-12-fair FISCHER11-12-fair.cvc KILLED 259.17
FISCHER11-12-ninc FISCHER11-12-ninc.cvc SAT 225.21
FISCHER11-13-fair FISCHER11-13-fair.cvc KILLED 271.45
FISCHER11-14-fair FISCHER11-14-fair.cvc KILLED 259.63
FISCHER11-15-fair FISCHER11-15-fair.cvc UNEXPECTED 305.61
FISCHER11-16-fair FISCHER11-16-fair.cvc UNEXPECTED 346.87
FISCHER11-2-fair FISCHER11-2-fair.cvc UNSAT 2.22
FISCHER11-2-ninc FISCHER11-2-ninc.cvc UNSAT 1.74
FISCHER11-3-fair FISCHER11-3-fair.cvc UNSAT 5.51
FISCHER11-3-ninc FISCHER11-3-ninc.cvc UNSAT 4.00
FISCHER11-4-fair FISCHER11-4-fair.cvc UNSAT 12.17
FISCHER11-4-ninc FISCHER11-4-ninc.cvc UNSAT 8.08
FISCHER11-5-fair FISCHER11-5-fair.cvc UNSAT 23.55
FISCHER11-5-ninc FISCHER11-5-ninc.cvc UNSAT 16.08
FISCHER11-6-fair FISCHER11-6-fair.cvc UNSAT 44.33
FISCHER11-6-ninc FISCHER11-6-ninc.cvc UNSAT 28.44
FISCHER11-7-fair FISCHER11-7-fair.cvc UNSAT 102.94
FISCHER11-7-ninc FISCHER11-7-ninc.cvc UNSAT 45.58
FISCHER11-8-fair FISCHER11-8-fair.cvc KILLED 273.72
FISCHER11-8-ninc FISCHER11-8-ninc.cvc UNSAT 73.08
FISCHER11-9-fair FISCHER11-9-fair.cvc KILLED 341.31
FISCHER11-9-ninc FISCHER11-9-ninc.cvc UNSAT 118.49
FISCHER12-1-ninc FISCHER12-1-ninc.cvc UNSAT 0.76
FISCHER12-10-ninc FISCHER12-10-ninc.cvc UNSAT 246.32
FISCHER12-11-ninc FISCHER12-11-ninc.cvc KILLED 264.13
FISCHER12-12-ninc FISCHER12-12-ninc.cvc UNEXPECTED 267.22
FISCHER12-13-ninc FISCHER12-13-ninc.cvc KILLED 276.76
FISCHER12-2-ninc FISCHER12-2-ninc.cvc UNSAT 2.12
FISCHER12-3-ninc FISCHER12-3-ninc.cvc UNSAT 4.77
FISCHER12-4-ninc FISCHER12-4-ninc.cvc UNSAT 11.07
FISCHER12-5-ninc FISCHER12-5-ninc.cvc UNSAT 21.44
FISCHER12-6-ninc FISCHER12-6-ninc.cvc UNSAT 35.24
FISCHER12-7-ninc FISCHER12-7-ninc.cvc UNSAT 58.06
FISCHER12-8-ninc FISCHER12-8-ninc.cvc UNSAT 88.62
FISCHER12-9-ninc FISCHER12-9-ninc.cvc UNSAT 139.87
FISCHER13-1-ninc FISCHER13-1-ninc.cvc UNSAT 0.82
FISCHER13-10-ninc FISCHER13-10-ninc.cvc KILLED 261.46
FISCHER13-11-ninc FISCHER13-11-ninc.cvc KILLED 264.89
FISCHER13-12-ninc FISCHER13-12-ninc.cvc KILLED 291.75
FISCHER13-13-ninc FISCHER13-13-ninc.cvc KILLED 260.38
FISCHER13-14-ninc FISCHER13-14-ninc.cvc KILLED 275.38
FISCHER13-2-ninc FISCHER13-2-ninc.cvc UNSAT 2.61
FISCHER13-3-ninc FISCHER13-3-ninc.cvc UNSAT 5.92
FISCHER13-4-ninc FISCHER13-4-ninc.cvc UNSAT 14.32
FISCHER13-5-ninc FISCHER13-5-ninc.cvc UNSAT 27.62
FISCHER13-6-ninc FISCHER13-6-ninc.cvc UNSAT 45.28
FISCHER13-7-ninc FISCHER13-7-ninc.cvc UNSAT 69.79
FISCHER13-8-ninc FISCHER13-8-ninc.cvc UNSAT 105.67
FISCHER13-9-ninc FISCHER13-9-ninc.cvc UNSAT 168.15
FISCHER14-1-ninc FISCHER14-1-ninc.cvc UNSAT 0.95
FISCHER14-10-ninc FISCHER14-10-ninc.cvc UNEXPECTED 278.97
FISCHER14-11-ninc FISCHER14-11-ninc.cvc KILLED 269.80
FISCHER14-12-ninc FISCHER14-12-ninc.cvc KILLED 263.31
FISCHER14-13-ninc FISCHER14-13-ninc.cvc KILLED 273.62
FISCHER14-14-ninc FISCHER14-14-ninc.cvc KILLED 209.98
FISCHER14-15-ninc FISCHER14-15-ninc.cvc KILLED 230.15
FISCHER14-2-ninc FISCHER14-2-ninc.cvc UNSAT 3.21
FISCHER14-3-ninc FISCHER14-3-ninc.cvc UNSAT 7.73
FISCHER14-4-ninc FISCHER14-4-ninc.cvc UNSAT 17.77
FISCHER14-5-ninc FISCHER14-5-ninc.cvc UNSAT 33.69
FISCHER14-6-ninc FISCHER14-6-ninc.cvc UNSAT 55.87
FISCHER14-7-ninc FISCHER14-7-ninc.cvc UNSAT 86.70
FISCHER14-8-ninc FISCHER14-8-ninc.cvc UNSAT 130.57
FISCHER14-9-ninc FISCHER14-9-ninc.cvc UNSAT 198.60
FISCHER2-1-fair FISCHER2-1-fair.cvc SAT 0.06
FISCHER2-1-ninc FISCHER2-1-ninc.cvc UNSAT 0.05
FISCHER2-2-fair FISCHER2-2-fair.cvc UNSAT 0.15
FISCHER2-2-ninc FISCHER2-2-ninc.cvc UNSAT 0.14
FISCHER2-3-fair FISCHER2-3-fair.cvc UNSAT 0.28
FISCHER2-3-ninc FISCHER2-3-ninc.cvc SAT 0.23
FISCHER2-4-fair FISCHER2-4-fair.cvc UNSAT 0.46
FISCHER2-5-fair FISCHER2-5-fair.cvc UNSAT 0.66
FISCHER2-6-fair FISCHER2-6-fair.cvc UNSAT 0.92
FISCHER2-7-fair FISCHER2-7-fair.cvc SAT 0.75
FISCHER3-1-fair FISCHER3-1-fair.cvc SAT 0.13
FISCHER3-1-ninc FISCHER3-1-ninc.cvc UNSAT 0.11
FISCHER3-2-fair FISCHER3-2-fair.cvc UNSAT 0.26
FISCHER3-2-ninc FISCHER3-2-ninc.cvc UNSAT 0.23
FISCHER3-3-fair FISCHER3-3-fair.cvc UNSAT 0.53
FISCHER3-3-ninc FISCHER3-3-ninc.cvc UNSAT 0.40
FISCHER3-4-fair FISCHER3-4-fair.cvc UNSAT 0.82
FISCHER3-4-ninc FISCHER3-4-ninc.cvc SAT 0.59
FISCHER3-5-fair FISCHER3-5-fair.cvc UNSAT 1.23
FISCHER3-6-fair FISCHER3-6-fair.cvc UNSAT 1.80
FISCHER3-7-fair FISCHER3-7-fair.cvc UNSAT 2.90
FISCHER3-8-fair FISCHER3-8-fair.cvc SAT 2.11
FISCHER4-1-fair FISCHER4-1-fair.cvc SAT 0.17
FISCHER4-1-ninc FISCHER4-1-ninc.cvc UNSAT 0.14
FISCHER4-2-fair FISCHER4-2-fair.cvc UNSAT 0.48
FISCHER4-2-ninc FISCHER4-2-ninc.cvc UNSAT 0.36
FISCHER4-3-fair FISCHER4-3-fair.cvc UNSAT 0.81
FISCHER4-3-ninc FISCHER4-3-ninc.cvc UNSAT 0.60
FISCHER4-4-fair FISCHER4-4-fair.cvc UNSAT 1.36
FISCHER4-4-ninc FISCHER4-4-ninc.cvc UNSAT 1.03
FISCHER4-5-fair FISCHER4-5-fair.cvc UNSAT 2.07
FISCHER4-5-ninc FISCHER4-5-ninc.cvc SAT 1.24
FISCHER4-6-fair FISCHER4-6-fair.cvc UNSAT 3.34
FISCHER4-7-fair FISCHER4-7-fair.cvc UNSAT 6.23
FISCHER4-8-fair FISCHER4-8-fair.cvc UNSAT 10.31
FISCHER4-9-fair FISCHER4-9-fair.cvc SAT 5.31
FISCHER5-1-fair FISCHER5-1-fair.cvc SAT 0.22
FISCHER5-1-ninc FISCHER5-1-ninc.cvc UNSAT 0.18
FISCHER5-10-fair FISCHER5-10-fair.cvc SAT 12.32
FISCHER5-2-fair FISCHER5-2-fair.cvc UNSAT 0.62
FISCHER5-2-ninc FISCHER5-2-ninc.cvc UNSAT 0.45
FISCHER5-3-fair FISCHER5-3-fair.cvc UNSAT 1.17
FISCHER5-3-ninc FISCHER5-3-ninc.cvc UNSAT 0.84
FISCHER5-4-fair FISCHER5-4-fair.cvc UNSAT 1.94
FISCHER5-4-ninc FISCHER5-4-ninc.cvc UNSAT 1.30
FISCHER5-5-fair FISCHER5-5-fair.cvc UNSAT 3.28
FISCHER5-5-ninc FISCHER5-5-ninc.cvc UNSAT 2.32
FISCHER5-6-fair FISCHER5-6-fair.cvc UNSAT 5.48
FISCHER5-6-ninc FISCHER5-6-ninc.cvc SAT 2.95
FISCHER5-7-fair FISCHER5-7-fair.cvc UNSAT 10.80
FISCHER5-8-fair FISCHER5-8-fair.cvc UNSAT 20.20
FISCHER5-9-fair FISCHER5-9-fair.cvc UNSAT 59.10
FISCHER6-1-fair FISCHER6-1-fair.cvc SAT 0.32
FISCHER6-1-ninc FISCHER6-1-ninc.cvc UNSAT 0.23
FISCHER6-10-fair FISCHER6-10-fair.cvc KILLED 230.01
FISCHER6-11-fair FISCHER6-11-fair.cvc SAT 29.35
FISCHER6-2-fair FISCHER6-2-fair.cvc UNSAT 0.71
FISCHER6-2-ninc FISCHER6-2-ninc.cvc UNSAT 0.58
FISCHER6-3-fair FISCHER6-3-fair.cvc UNSAT 1.60
FISCHER6-3-ninc FISCHER6-3-ninc.cvc UNSAT 1.08
FISCHER6-4-fair FISCHER6-4-fair.cvc UNSAT 2.91
FISCHER6-4-ninc FISCHER6-4-ninc.cvc UNSAT 1.90
FISCHER6-5-fair FISCHER6-5-fair.cvc UNSAT 4.81
FISCHER6-5-ninc FISCHER6-5-ninc.cvc UNSAT 3.43
FISCHER6-6-fair FISCHER6-6-fair.cvc UNSAT 8.30
FISCHER6-6-ninc FISCHER6-6-ninc.cvc UNSAT 5.81
FISCHER6-7-fair FISCHER6-7-fair.cvc UNSAT 17.87
FISCHER6-7-ninc FISCHER6-7-ninc.cvc SAT 6.50
FISCHER6-8-fair FISCHER6-8-fair.cvc UNSAT 34.81
FISCHER6-9-fair FISCHER6-9-fair.cvc UNSAT 101.06
FISCHER7-1-fair FISCHER7-1-fair.cvc SAT 0.40
FISCHER7-1-ninc FISCHER7-1-ninc.cvc UNSAT 0.29
FISCHER7-10-fair FISCHER7-10-fair.cvc KILLED 233.33
FISCHER7-11-fair FISCHER7-11-fair.cvc KILLED 248.31
FISCHER7-12-fair FISCHER7-12-fair.cvc SAT 64.29
FISCHER7-2-fair FISCHER7-2-fair.cvc UNSAT 1.00
FISCHER7-2-ninc FISCHER7-2-ninc.cvc UNSAT 0.78
FISCHER7-3-fair FISCHER7-3-fair.cvc UNSAT 2.04
FISCHER7-3-ninc FISCHER7-3-ninc.cvc UNSAT 1.49
FISCHER7-4-fair FISCHER7-4-fair.cvc UNSAT 3.98
FISCHER7-4-ninc FISCHER7-4-ninc.cvc UNSAT 2.62
FISCHER7-5-fair FISCHER7-5-fair.cvc UNSAT 6.53
FISCHER7-5-ninc FISCHER7-5-ninc.cvc UNSAT 4.67
FISCHER7-6-fair FISCHER7-6-fair.cvc UNSAT 12.09
FISCHER7-6-ninc FISCHER7-6-ninc.cvc UNSAT 7.84
FISCHER7-7-fair FISCHER7-7-fair.cvc UNSAT 28.04
FISCHER7-7-ninc FISCHER7-7-ninc.cvc UNSAT 14.46
FISCHER7-8-fair FISCHER7-8-fair.cvc UNSAT 62.03
FISCHER7-8-ninc FISCHER7-8-ninc.cvc SAT 14.95
FISCHER7-9-fair FISCHER7-9-fair.cvc UNSAT 192.84
FISCHER8-1-fair FISCHER8-1-fair.cvc SAT 0.49
FISCHER8-1-ninc FISCHER8-1-ninc.cvc UNSAT 0.39
FISCHER8-10-fair FISCHER8-10-fair.cvc KILLED 250.35
FISCHER8-11-fair FISCHER8-11-fair.cvc KILLED 272.79
FISCHER8-12-fair FISCHER8-12-fair.cvc KILLED 279.40
FISCHER8-13-fair FISCHER8-13-fair.cvc SAT 124.01
FISCHER8-2-fair FISCHER8-2-fair.cvc UNSAT 1.36
FISCHER8-2-ninc FISCHER8-2-ninc.cvc UNSAT 0.92
FISCHER8-3-fair FISCHER8-3-fair.cvc UNSAT 2.89
FISCHER8-3-ninc FISCHER8-3-ninc.cvc UNSAT 1.84
FISCHER8-4-fair FISCHER8-4-fair.cvc UNSAT 5.57
FISCHER8-4-ninc FISCHER8-4-ninc.cvc UNSAT 3.72
FISCHER8-5-fair FISCHER8-5-fair.cvc UNSAT 9.30
FISCHER8-5-ninc FISCHER8-5-ninc.cvc UNSAT 6.29
FISCHER8-6-fair FISCHER8-6-fair.cvc UNSAT 17.42
FISCHER8-6-ninc FISCHER8-6-ninc.cvc UNSAT 11.10
FISCHER8-7-fair FISCHER8-7-fair.cvc UNSAT 41.12
FISCHER8-7-ninc FISCHER8-7-ninc.cvc UNSAT 20.64
FISCHER8-8-fair FISCHER8-8-fair.cvc UNSAT 91.03
FISCHER8-8-ninc FISCHER8-8-ninc.cvc UNSAT 36.20
FISCHER8-9-fair FISCHER8-9-fair.cvc KILLED 249.92
FISCHER8-9-ninc FISCHER8-9-ninc.cvc SAT 32.33
FISCHER9-1-fair FISCHER9-1-fair.cvc SAT 0.57
FISCHER9-1-ninc FISCHER9-1-ninc.cvc UNSAT 0.42
FISCHER9-10-fair FISCHER9-10-fair.cvc KILLED 268.75
FISCHER9-10-ninc FISCHER9-10-ninc.cvc SAT 61.04
FISCHER9-11-fair FISCHER9-11-fair.cvc KILLED 280.17
FISCHER9-12-fair FISCHER9-12-fair.cvc KILLED 299.64
FISCHER9-13-fair FISCHER9-13-fair.cvc UNEXPECTED 303.78
FISCHER9-14-fair FISCHER9-14-fair.cvc SAT 195.81
FISCHER9-2-fair FISCHER9-2-fair.cvc UNSAT 1.46
FISCHER9-2-ninc FISCHER9-2-ninc.cvc UNSAT 1.12
FISCHER9-3-fair FISCHER9-3-fair.cvc UNSAT 3.75
FISCHER9-3-ninc FISCHER9-3-ninc.cvc UNSAT 2.47
FISCHER9-4-fair FISCHER9-4-fair.cvc UNSAT 6.71
FISCHER9-4-ninc FISCHER9-4-ninc.cvc UNSAT 4.62
FISCHER9-5-fair FISCHER9-5-fair.cvc UNSAT 12.54
FISCHER9-5-ninc FISCHER9-5-ninc.cvc UNSAT 8.88
FISCHER9-6-fair FISCHER9-6-fair.cvc UNSAT 25.42
FISCHER9-6-ninc FISCHER9-6-ninc.cvc UNSAT 16.49
FISCHER9-7-fair FISCHER9-7-fair.cvc UNSAT 58.47
FISCHER9-7-ninc FISCHER9-7-ninc.cvc UNSAT 27.71
FISCHER9-8-fair FISCHER9-8-fair.cvc UNSAT 135.71
FISCHER9-8-ninc FISCHER9-8-ninc.cvc UNSAT 45.87
FISCHER9-9-fair FISCHER9-9-fair.cvc KILLED 253.57
FISCHER9-9-ninc FISCHER9-9-ninc.cvc UNSAT 81.86
PO2-2-PO2 PO2-2-PO2.cvc UNSAT 0.22
PO2-3-PO2 PO2-3-PO2.cvc UNSAT 0.35
PO2-4-PO2 PO2-4-PO2.cvc UNSAT 0.54
PO2-5-PO2 PO2-5-PO2.cvc UNSAT 0.77
PO2-6-PO2 PO2-6-PO2.cvc UNSAT 1.24
PO2-7-PO2 PO2-7-PO2.cvc UNSAT 1.64
PO2-8-PO2 PO2-8-PO2.cvc SAT 1.91
PO3-10-PO3 PO3-10-PO3.cvc SAT 122.68
PO3-2-PO3 PO3-2-PO3.cvc UNSAT 1.59
PO3-3-PO3 PO3-3-PO3.cvc UNSAT 4.14
PO3-4-PO3 PO3-4-PO3.cvc UNSAT 8.81
PO3-5-PO3 PO3-5-PO3.cvc UNSAT 16.37
PO3-6-PO3 PO3-6-PO3.cvc UNSAT 31.61
PO3-7-PO3 PO3-7-PO3.cvc UNSAT 47.22
PO3-8-PO3 PO3-8-PO3.cvc UNSAT 67.45
PO3-9-PO3 PO3-9-PO3.cvc UNSAT 97.24
PO4-10-PO4 PO4-10-PO4.cvc KILLED 187.44
PO4-11-PO4 PO4-11-PO4.cvc KILLED 190.68
PO4-12-PO4 PO4-12-PO4.cvc KILLED 180.60
PO4-2-PO4 PO4-2-PO4.cvc UNSAT 78.95
PO4-3-PO4 PO4-3-PO4.cvc UNSAT 225.80
PO4-4-PO4 PO4-4-PO4.cvc KILLED 211.49
PO4-5-PO4 PO4-5-PO4.cvc KILLED 210.64
PO4-6-PO4 PO4-6-PO4.cvc KILLED 205.09
PO4-7-PO4 PO4-7-PO4.cvc KILLED 200.15
PO4-8-PO4 PO4-8-PO4.cvc KILLED 198.43
PO4-9-PO4 PO4-9-PO4.cvc KILLED 189.08
PO5-10-PO5 PO5-10-PO5.cvc KILLED 4.65
PO5-11-PO5 PO5-11-PO5.cvc KILLED 5.13
PO5-12-PO5 PO5-12-PO5.cvc KILLED 5.75
PO5-13-PO5 PO5-13-PO5.cvc KILLED 6.28
PO5-14-PO5 PO5-14-PO5.cvc KILLED 6.64
PO5-2-PO5 PO5-2-PO5.cvc KILLED 195.25
PO5-3-PO5 PO5-3-PO5.cvc KILLED 183.98
PO5-4-PO5 PO5-4-PO5.cvc KILLED 5.94
PO5-5-PO5 PO5-5-PO5.cvc KILLED 7.75
PO5-6-PO5 PO5-6-PO5.cvc KILLED 4.80
PO5-7-PO5 PO5-7-PO5.cvc KILLED 3.35
PO5-8-PO5 PO5-8-PO5.cvc KILLED 3.80
PO5-9-PO5 PO5-9-PO5.cvc KILLED 4.26