Benchmarking ics, DIRECTORY=mathsat, EXT=ics, MAX_MEMORY=450000, MAX_STACK=40000, MAX_TIME=3600
FISCHER1-1-fair FISCHER1-1-fair.ics SAT 0.02
FISCHER1-1-ninc FISCHER1-1-ninc.ics UNSAT 0.01
FISCHER1-2-fair FISCHER1-2-fair.ics UNSAT 0.04
FISCHER1-2-ninc FISCHER1-2-ninc.ics SAT 0.02
FISCHER1-3-fair FISCHER1-3-fair.ics UNSAT 0.04
FISCHER1-4-fair FISCHER1-4-fair.ics UNSAT 0.03
FISCHER1-5-fair FISCHER1-5-fair.ics UNSAT 0.03
FISCHER1-6-fair FISCHER1-6-fair.ics UNSAT 0.02
FISCHER10-1-fair FISCHER10-1-fair.ics SAT 0.08
FISCHER10-1-ninc FISCHER10-1-ninc.ics UNSAT 0.10
FISCHER10-10-fair FISCHER10-10-fair.ics UNSAT 77.39
FISCHER10-10-ninc FISCHER10-10-ninc.ics UNSAT 2473.57
FISCHER10-11-fair FISCHER10-11-fair.ics UNSAT 145.00
FISCHER10-11-ninc FISCHER10-11-ninc.ics SAT 66.35
FISCHER10-12-fair FISCHER10-12-fair.ics UNSAT 428.15
FISCHER10-13-fair FISCHER10-13-fair.ics UNSAT 2207.54
FISCHER10-14-fair FISCHER10-14-fair.ics KILLED 1674.09
FISCHER10-15-fair FISCHER10-15-fair.ics KILLED 1519.52
FISCHER10-2-fair FISCHER10-2-fair.ics UNSAT 0.13
FISCHER10-2-ninc FISCHER10-2-ninc.ics UNSAT 0.07
FISCHER10-3-fair FISCHER10-3-fair.ics UNSAT 0.23
FISCHER10-3-ninc FISCHER10-3-ninc.ics UNSAT 0.14
FISCHER10-4-fair FISCHER10-4-fair.ics UNSAT 0.40
FISCHER10-4-ninc FISCHER10-4-ninc.ics UNSAT 0.25
FISCHER10-5-fair FISCHER10-5-fair.ics UNSAT 0.78
FISCHER10-5-ninc FISCHER10-5-ninc.ics UNSAT 0.56
FISCHER10-6-fair FISCHER10-6-fair.ics UNSAT 1.82
FISCHER10-6-ninc FISCHER10-6-ninc.ics UNSAT 1.84
FISCHER10-7-fair FISCHER10-7-fair.ics UNSAT 3.91
FISCHER10-7-ninc FISCHER10-7-ninc.ics UNSAT 10.98
FISCHER10-8-fair FISCHER10-8-fair.ics UNSAT 16.20
FISCHER10-8-ninc FISCHER10-8-ninc.ics UNSAT 81.61
FISCHER10-9-fair FISCHER10-9-fair.ics UNSAT 42.58
FISCHER10-9-ninc FISCHER10-9-ninc.ics UNSAT 417.68
FISCHER11-1-fair FISCHER11-1-fair.ics SAT 0.09
FISCHER11-1-ninc FISCHER11-1-ninc.ics UNSAT 0.07
FISCHER11-10-fair FISCHER11-10-fair.ics UNSAT 113.47
FISCHER11-10-ninc FISCHER11-10-ninc.ics KILLED 2518.54
FISCHER11-11-fair FISCHER11-11-fair.ics UNSAT 204.91
FISCHER11-11-ninc FISCHER11-11-ninc.ics KILLED 2152.54
FISCHER11-12-fair FISCHER11-12-fair.ics UNSAT 669.82
FISCHER11-12-ninc FISCHER11-12-ninc.ics SAT 2699.88
FISCHER11-13-fair FISCHER11-13-fair.ics KILLED 1896.88
FISCHER11-14-fair FISCHER11-14-fair.ics KILLED 1527.22
FISCHER11-15-fair FISCHER11-15-fair.ics KILLED 1627.74
FISCHER11-16-fair FISCHER11-16-fair.ics KILLED 1332.60
FISCHER11-2-fair FISCHER11-2-fair.ics UNSAT 0.15
FISCHER11-2-ninc FISCHER11-2-ninc.ics UNSAT 0.12
FISCHER11-3-fair FISCHER11-3-fair.ics UNSAT 0.33
FISCHER11-3-ninc FISCHER11-3-ninc.ics UNSAT 0.19
FISCHER11-4-fair FISCHER11-4-fair.ics UNSAT 0.49
FISCHER11-4-ninc FISCHER11-4-ninc.ics UNSAT 0.29
FISCHER11-5-fair FISCHER11-5-fair.ics UNSAT 0.83
FISCHER11-5-ninc FISCHER11-5-ninc.ics UNSAT 0.65
FISCHER11-6-fair FISCHER11-6-fair.ics UNSAT 2.08
FISCHER11-6-ninc FISCHER11-6-ninc.ics UNSAT 2.21
FISCHER11-7-fair FISCHER11-7-fair.ics UNSAT 10.47
FISCHER11-7-ninc FISCHER11-7-ninc.ics UNSAT 8.09
FISCHER11-8-fair FISCHER11-8-fair.ics UNSAT 25.84
FISCHER11-8-ninc FISCHER11-8-ninc.ics UNSAT 63.82
FISCHER11-9-fair FISCHER11-9-fair.ics UNSAT 42.38
FISCHER11-9-ninc FISCHER11-9-ninc.ics UNSAT 491.73
FISCHER12-1-ninc FISCHER12-1-ninc.ics UNSAT 0.06
FISCHER12-10-ninc FISCHER12-10-ninc.ics KILLED 2296.72
FISCHER12-11-ninc FISCHER12-11-ninc.ics KILLED 2938.07
FISCHER12-12-ninc FISCHER12-12-ninc.ics KILLED 2761.37
FISCHER12-13-ninc FISCHER12-13-ninc.ics SAT 207.94
FISCHER12-2-ninc FISCHER12-2-ninc.ics UNSAT 0.12
FISCHER12-3-ninc FISCHER12-3-ninc.ics UNSAT 0.20
FISCHER12-4-ninc FISCHER12-4-ninc.ics UNSAT 0.31
FISCHER12-5-ninc FISCHER12-5-ninc.ics UNSAT 0.56
FISCHER12-6-ninc FISCHER12-6-ninc.ics UNSAT 1.98
FISCHER12-7-ninc FISCHER12-7-ninc.ics UNSAT 9.69
FISCHER12-8-ninc FISCHER12-8-ninc.ics UNSAT 61.79
FISCHER12-9-ninc FISCHER12-9-ninc.ics UNSAT 462.16
FISCHER13-1-ninc FISCHER13-1-ninc.ics UNSAT 0.09
FISCHER13-10-ninc FISCHER13-10-ninc.ics KILLED 2206.11
FISCHER13-11-ninc FISCHER13-11-ninc.ics KILLED 3233.00
FISCHER13-12-ninc FISCHER13-12-ninc.ics KILLED 2674.75
FISCHER13-13-ninc FISCHER13-13-ninc.ics KILLED 2494.91
FISCHER13-14-ninc FISCHER13-14-ninc.ics SAT 411.75
FISCHER13-2-ninc FISCHER13-2-ninc.ics UNSAT 0.10
FISCHER13-3-ninc FISCHER13-3-ninc.ics UNSAT 0.18
FISCHER13-4-ninc FISCHER13-4-ninc.ics UNSAT 0.29
FISCHER13-5-ninc FISCHER13-5-ninc.ics UNSAT 0.62
FISCHER13-6-ninc FISCHER13-6-ninc.ics UNSAT 1.74
FISCHER13-7-ninc FISCHER13-7-ninc.ics UNSAT 10.30
FISCHER13-8-ninc FISCHER13-8-ninc.ics UNSAT 48.06
FISCHER13-9-ninc FISCHER13-9-ninc.ics UNSAT 952.70
FISCHER14-1-ninc FISCHER14-1-ninc.ics UNSAT 0.10
FISCHER14-10-ninc FISCHER14-10-ninc.ics KILLED 2381.07
FISCHER14-11-ninc FISCHER14-11-ninc.ics KILLED 3081.23
FISCHER14-12-ninc FISCHER14-12-ninc.ics KILLED 2267.37
FISCHER14-13-ninc FISCHER14-13-ninc.ics KILLED 2837.17
FISCHER14-14-ninc FISCHER14-14-ninc.ics KILLED 1744.92
FISCHER14-15-ninc FISCHER14-15-ninc.ics SAT 1677.66
FISCHER14-2-ninc FISCHER14-2-ninc.ics UNSAT 0.17
FISCHER14-3-ninc FISCHER14-3-ninc.ics UNSAT 0.24
FISCHER14-4-ninc FISCHER14-4-ninc.ics UNSAT 0.40
FISCHER14-5-ninc FISCHER14-5-ninc.ics UNSAT 0.69
FISCHER14-6-ninc FISCHER14-6-ninc.ics UNSAT 2.10
FISCHER14-7-ninc FISCHER14-7-ninc.ics UNSAT 9.61
FISCHER14-8-ninc FISCHER14-8-ninc.ics UNSAT 67.20
FISCHER14-9-ninc FISCHER14-9-ninc.ics UNSAT 708.22
FISCHER2-1-fair FISCHER2-1-fair.ics SAT 0.03
FISCHER2-1-ninc FISCHER2-1-ninc.ics UNSAT 0.01
FISCHER2-2-fair FISCHER2-2-fair.ics UNSAT 0.05
FISCHER2-2-ninc FISCHER2-2-ninc.ics UNSAT 0.02
FISCHER2-3-fair FISCHER2-3-fair.ics UNSAT 0.07
FISCHER2-3-ninc FISCHER2-3-ninc.ics SAT 0.05
FISCHER2-4-fair FISCHER2-4-fair.ics UNSAT 0.07
FISCHER2-5-fair FISCHER2-5-fair.ics UNSAT 0.10
FISCHER2-6-fair FISCHER2-6-fair.ics UNSAT 0.17
FISCHER2-7-fair FISCHER2-7-fair.ics SAT 0.24
FISCHER3-1-fair FISCHER3-1-fair.ics SAT 0.03
FISCHER3-1-ninc FISCHER3-1-ninc.ics UNSAT 0.02
FISCHER3-2-fair FISCHER3-2-fair.ics UNSAT 0.06
FISCHER3-2-ninc FISCHER3-2-ninc.ics UNSAT 0.03
FISCHER3-3-fair FISCHER3-3-fair.ics UNSAT 0.09
FISCHER3-3-ninc FISCHER3-3-ninc.ics UNSAT 0.04
FISCHER3-4-fair FISCHER3-4-fair.ics UNSAT 0.07
FISCHER3-4-ninc FISCHER3-4-ninc.ics SAT 0.06
FISCHER3-5-fair FISCHER3-5-fair.ics UNSAT 0.14
FISCHER3-6-fair FISCHER3-6-fair.ics UNSAT 0.23
FISCHER3-7-fair FISCHER3-7-fair.ics UNSAT 0.41
FISCHER3-8-fair FISCHER3-8-fair.ics SAT 0.32
FISCHER4-1-fair FISCHER4-1-fair.ics SAT 0.04
FISCHER4-1-ninc FISCHER4-1-ninc.ics UNSAT 0.05
FISCHER4-2-fair FISCHER4-2-fair.ics UNSAT 0.06
FISCHER4-2-ninc FISCHER4-2-ninc.ics UNSAT 0.07
FISCHER4-3-fair FISCHER4-3-fair.ics UNSAT 0.07
FISCHER4-3-ninc FISCHER4-3-ninc.ics UNSAT 0.09
FISCHER4-4-fair FISCHER4-4-fair.ics UNSAT 0.14
FISCHER4-4-ninc FISCHER4-4-ninc.ics UNSAT 0.09
FISCHER4-5-fair FISCHER4-5-fair.ics UNSAT 0.21
FISCHER4-5-ninc FISCHER4-5-ninc.ics SAT 0.14
FISCHER4-6-fair FISCHER4-6-fair.ics UNSAT 0.33
FISCHER4-7-fair FISCHER4-7-fair.ics UNSAT 0.90
FISCHER4-8-fair FISCHER4-8-fair.ics UNSAT 2.14
FISCHER4-9-fair FISCHER4-9-fair.ics SAT 2.45
FISCHER5-1-fair FISCHER5-1-fair.ics SAT 0.06
FISCHER5-1-ninc FISCHER5-1-ninc.ics UNSAT 0.03
FISCHER5-10-fair FISCHER5-10-fair.ics SAT 3.92
FISCHER5-2-fair FISCHER5-2-fair.ics UNSAT 0.06
FISCHER5-2-ninc FISCHER5-2-ninc.ics UNSAT 0.06
FISCHER5-3-fair FISCHER5-3-fair.ics UNSAT 0.12
FISCHER5-3-ninc FISCHER5-3-ninc.ics UNSAT 0.07
FISCHER5-4-fair FISCHER5-4-fair.ics UNSAT 0.14
FISCHER5-4-ninc FISCHER5-4-ninc.ics UNSAT 0.12
FISCHER5-5-fair FISCHER5-5-fair.ics UNSAT 0.28
FISCHER5-5-ninc FISCHER5-5-ninc.ics UNSAT 0.29
FISCHER5-6-fair FISCHER5-6-fair.ics UNSAT 0.58
FISCHER5-6-ninc FISCHER5-6-ninc.ics SAT 0.31
FISCHER5-7-fair FISCHER5-7-fair.ics UNSAT 1.60
FISCHER5-8-fair FISCHER5-8-fair.ics UNSAT 3.88
FISCHER5-9-fair FISCHER5-9-fair.ics UNSAT 8.16
FISCHER6-1-fair FISCHER6-1-fair.ics SAT 0.08
FISCHER6-1-ninc FISCHER6-1-ninc.ics UNSAT 0.05
FISCHER6-10-fair FISCHER6-10-fair.ics UNSAT 26.60
FISCHER6-11-fair FISCHER6-11-fair.ics SAT 30.12
FISCHER6-2-fair FISCHER6-2-fair.ics UNSAT 0.08
FISCHER6-2-ninc FISCHER6-2-ninc.ics UNSAT 0.08
FISCHER6-3-fair FISCHER6-3-fair.ics UNSAT 0.18
FISCHER6-3-ninc FISCHER6-3-ninc.ics UNSAT 0.09
FISCHER6-4-fair FISCHER6-4-fair.ics UNSAT 0.18
FISCHER6-4-ninc FISCHER6-4-ninc.ics UNSAT 0.18
FISCHER6-5-fair FISCHER6-5-fair.ics UNSAT 0.32
FISCHER6-5-ninc FISCHER6-5-ninc.ics UNSAT 0.34
FISCHER6-6-fair FISCHER6-6-fair.ics UNSAT 0.74
FISCHER6-6-ninc FISCHER6-6-ninc.ics UNSAT 1.22
FISCHER6-7-fair FISCHER6-7-fair.ics UNSAT 2.02
FISCHER6-7-ninc FISCHER6-7-ninc.ics SAT 0.59
FISCHER6-8-fair FISCHER6-8-fair.ics UNSAT 6.40
FISCHER6-9-fair FISCHER6-9-fair.ics UNSAT 14.03
FISCHER7-1-fair FISCHER7-1-fair.ics SAT 0.08
FISCHER7-1-ninc FISCHER7-1-ninc.ics UNSAT 0.06
FISCHER7-10-fair FISCHER7-10-fair.ics UNSAT 35.52
FISCHER7-11-fair FISCHER7-11-fair.ics UNSAT 79.63
FISCHER7-12-fair FISCHER7-12-fair.ics SAT 37.64
FISCHER7-2-fair FISCHER7-2-fair.ics UNSAT 0.06
FISCHER7-2-ninc FISCHER7-2-ninc.ics UNSAT 0.08
FISCHER7-3-fair FISCHER7-3-fair.ics UNSAT 0.17
FISCHER7-3-ninc FISCHER7-3-ninc.ics UNSAT 0.09
FISCHER7-4-fair FISCHER7-4-fair.ics UNSAT 0.27
FISCHER7-4-ninc FISCHER7-4-ninc.ics UNSAT 0.17
FISCHER7-5-fair FISCHER7-5-fair.ics UNSAT 0.44
FISCHER7-5-ninc FISCHER7-5-ninc.ics UNSAT 0.34
FISCHER7-6-fair FISCHER7-6-fair.ics UNSAT 0.70
FISCHER7-6-ninc FISCHER7-6-ninc.ics UNSAT 1.33
FISCHER7-7-fair FISCHER7-7-fair.ics UNSAT 2.97
FISCHER7-7-ninc FISCHER7-7-ninc.ics UNSAT 6.06
FISCHER7-8-fair FISCHER7-8-fair.ics UNSAT 8.69
FISCHER7-8-ninc FISCHER7-8-ninc.ics SAT 1.71
FISCHER7-9-fair FISCHER7-9-fair.ics UNSAT 17.61
FISCHER8-1-fair FISCHER8-1-fair.ics SAT 0.07
FISCHER8-1-ninc FISCHER8-1-ninc.ics UNSAT 0.07
FISCHER8-10-fair FISCHER8-10-fair.ics UNSAT 54.49
FISCHER8-11-fair FISCHER8-11-fair.ics UNSAT 108.79
FISCHER8-12-fair FISCHER8-12-fair.ics UNSAT 269.81
FISCHER8-13-fair FISCHER8-13-fair.ics SAT 498.42
FISCHER8-2-fair FISCHER8-2-fair.ics UNSAT 0.12
FISCHER8-2-ninc FISCHER8-2-ninc.ics UNSAT 0.08
FISCHER8-3-fair FISCHER8-3-fair.ics UNSAT 0.18
FISCHER8-3-ninc FISCHER8-3-ninc.ics UNSAT 0.14
FISCHER8-4-fair FISCHER8-4-fair.ics UNSAT 0.28
FISCHER8-4-ninc FISCHER8-4-ninc.ics UNSAT 0.19
FISCHER8-5-fair FISCHER8-5-fair.ics UNSAT 0.53
FISCHER8-5-ninc FISCHER8-5-ninc.ics UNSAT 0.48
FISCHER8-6-fair FISCHER8-6-fair.ics UNSAT 1.13
FISCHER8-6-ninc FISCHER8-6-ninc.ics UNSAT 1.71
FISCHER8-7-fair FISCHER8-7-fair.ics UNSAT 2.85
FISCHER8-7-ninc FISCHER8-7-ninc.ics UNSAT 9.29
FISCHER8-8-fair FISCHER8-8-fair.ics UNSAT 10.17
FISCHER8-8-ninc FISCHER8-8-ninc.ics UNSAT 53.19
FISCHER8-9-fair FISCHER8-9-fair.ics UNSAT 26.72
FISCHER8-9-ninc FISCHER8-9-ninc.ics SAT 23.36
FISCHER9-1-fair FISCHER9-1-fair.ics SAT 0.07
FISCHER9-1-ninc FISCHER9-1-ninc.ics UNSAT 0.06
FISCHER9-10-fair FISCHER9-10-fair.ics UNSAT 48.82
FISCHER9-10-ninc FISCHER9-10-ninc.ics SAT 17.20
FISCHER9-11-fair FISCHER9-11-fair.ics UNSAT 115.88
FISCHER9-12-fair FISCHER9-12-fair.ics UNSAT 374.23
FISCHER9-13-fair FISCHER9-13-fair.ics KILLED 2295.49
FISCHER9-14-fair FISCHER9-14-fair.ics KILLED 2065.87
FISCHER9-2-fair FISCHER9-2-fair.ics UNSAT 0.12
FISCHER9-2-ninc FISCHER9-2-ninc.ics UNSAT 0.04
FISCHER9-3-fair FISCHER9-3-fair.ics UNSAT 0.17
FISCHER9-3-ninc FISCHER9-3-ninc.ics UNSAT 0.16
FISCHER9-4-fair FISCHER9-4-fair.ics UNSAT 0.36
FISCHER9-4-ninc FISCHER9-4-ninc.ics UNSAT 0.19
FISCHER9-5-fair FISCHER9-5-fair.ics UNSAT 0.62
FISCHER9-5-ninc FISCHER9-5-ninc.ics UNSAT 0.42
FISCHER9-6-fair FISCHER9-6-fair.ics UNSAT 1.62
FISCHER9-6-ninc FISCHER9-6-ninc.ics UNSAT 1.66
FISCHER9-7-fair FISCHER9-7-fair.ics UNSAT 4.48
FISCHER9-7-ninc FISCHER9-7-ninc.ics UNSAT 10.98
FISCHER9-8-fair FISCHER9-8-fair.ics UNSAT 16.62
FISCHER9-8-ninc FISCHER9-8-ninc.ics UNSAT 58.66
FISCHER9-9-fair FISCHER9-9-fair.ics UNSAT 30.91
FISCHER9-9-ninc FISCHER9-9-ninc.ics UNSAT 334.57
PO2-2-PO2 PO2-2-PO2.ics UNSAT 0.02
PO2-3-PO2 PO2-3-PO2.ics UNSAT 0.06
PO2-4-PO2 PO2-4-PO2.ics UNSAT 0.05
PO2-5-PO2 PO2-5-PO2.ics UNSAT 0.11
PO2-6-PO2 PO2-6-PO2.ics UNSAT 0.10
PO2-7-PO2 PO2-7-PO2.ics UNSAT 0.12
PO2-8-PO2 PO2-8-PO2.ics SAT 0.18
PO3-10-PO3 PO3-10-PO3.ics SAT 1.20
PO3-2-PO3 PO3-2-PO3.ics UNSAT 0.07
PO3-3-PO3 PO3-3-PO3.ics UNSAT 0.17
PO3-4-PO3 PO3-4-PO3.ics UNSAT 0.15
PO3-5-PO3 PO3-5-PO3.ics UNSAT 0.22
PO3-6-PO3 PO3-6-PO3.ics UNSAT 0.22
PO3-7-PO3 PO3-7-PO3.ics UNSAT 0.32
PO3-8-PO3 PO3-8-PO3.ics UNSAT 0.60
PO3-9-PO3 PO3-9-PO3.ics UNSAT 1.20
PO4-10-PO4 PO4-10-PO4.ics UNSAT 4.21
PO4-11-PO4 PO4-11-PO4.ics UNSAT 9.78
PO4-12-PO4 PO4-12-PO4.ics SAT 8.69
PO4-2-PO4 PO4-2-PO4.ics UNSAT 0.29
PO4-3-PO4 PO4-3-PO4.ics UNSAT 0.57
PO4-4-PO4 PO4-4-PO4.ics UNSAT 0.79
PO4-5-PO4 PO4-5-PO4.ics UNSAT 0.92
PO4-6-PO4 PO4-6-PO4.ics UNSAT 1.29
PO4-7-PO4 PO4-7-PO4.ics UNSAT 1.52
PO4-8-PO4 PO4-8-PO4.ics UNSAT 1.84
PO4-9-PO4 PO4-9-PO4.ics UNSAT 2.58
PO5-10-PO5 PO5-10-PO5.ics UNSAT 18.43
PO5-11-PO5 PO5-11-PO5.ics UNSAT 28.33
PO5-12-PO5 PO5-12-PO5.ics UNSAT 51.54
PO5-13-PO5 PO5-13-PO5.ics UNSAT 94.49
PO5-14-PO5 PO5-14-PO5.ics SAT 139.61
PO5-2-PO5 PO5-2-PO5.ics UNSAT 1.68
PO5-3-PO5 PO5-3-PO5.ics UNSAT 2.83
PO5-4-PO5 PO5-4-PO5.ics UNSAT 4.37
PO5-5-PO5 PO5-5-PO5.ics UNSAT 5.89
PO5-6-PO5 PO5-6-PO5.ics UNSAT 7.42
PO5-7-PO5 PO5-7-PO5.ics UNSAT 10.19
PO5-8-PO5 PO5-8-PO5.ics UNSAT 12.24
PO5-9-PO5 PO5-9-PO5.ics UNSAT 15.57