Benchmarking svc, DIRECTORY=mathsat, EXT=svc, MAX_MEMORY=450000, MAX_STACK=40000, MAX_TIME=3600
FISCHER1-1-fair FISCHER1-1-fair.svc SAT 0.03
FISCHER1-1-ninc FISCHER1-1-ninc.svc UNSAT 0.02
FISCHER1-2-fair FISCHER1-2-fair.svc UNSAT 0.04
FISCHER1-2-ninc FISCHER1-2-ninc.svc SAT 0.02
FISCHER1-3-fair FISCHER1-3-fair.svc UNSAT 0.07
FISCHER1-4-fair FISCHER1-4-fair.svc UNSAT 0.15
FISCHER1-5-fair FISCHER1-5-fair.svc UNSAT 0.24
FISCHER1-6-fair FISCHER1-6-fair.svc UNSAT 0.33
FISCHER10-1-fair FISCHER10-1-fair.svc SAT 1.10
FISCHER10-1-ninc FISCHER10-1-ninc.svc UNSAT 1.08
FISCHER10-10-fair FISCHER10-10-fair.svc KILLED 47.35
FISCHER10-10-ninc FISCHER10-10-ninc.svc KILLED 46.55
FISCHER10-11-fair FISCHER10-11-fair.svc KILLED 45.89
FISCHER10-11-ninc FISCHER10-11-ninc.svc KILLED 46.64
FISCHER10-12-fair FISCHER10-12-fair.svc UNEXPECTED 1.02
FISCHER10-13-fair FISCHER10-13-fair.svc UNEXPECTED 1.11
FISCHER10-14-fair FISCHER10-14-fair.svc UNEXPECTED 1.32
FISCHER10-15-fair FISCHER10-15-fair.svc UNEXPECTED 1.31
FISCHER10-2-fair FISCHER10-2-fair.svc UNSAT 59.17
FISCHER10-2-ninc FISCHER10-2-ninc.svc UNSAT 5.30
FISCHER10-3-fair FISCHER10-3-fair.svc KILLED 3558.95
FISCHER10-3-ninc FISCHER10-3-ninc.svc UNSAT 16.57
FISCHER10-4-fair FISCHER10-4-fair.svc KILLED 3593.58
FISCHER10-4-ninc FISCHER10-4-ninc.svc UNSAT 68.15
FISCHER10-5-fair FISCHER10-5-fair.svc KILLED 3600.28
FISCHER10-5-ninc FISCHER10-5-ninc.svc UNSAT 380.20
FISCHER10-6-fair FISCHER10-6-fair.svc KILLED 3600.06
FISCHER10-6-ninc FISCHER10-6-ninc.svc UNSAT 2873.08
FISCHER10-7-fair FISCHER10-7-fair.svc KILLED 3599.15
FISCHER10-7-ninc FISCHER10-7-ninc.svc KILLED 3596.68
FISCHER10-8-fair FISCHER10-8-fair.svc KILLED 47.25
FISCHER10-8-ninc FISCHER10-8-ninc.svc KILLED 49.77
FISCHER10-9-fair FISCHER10-9-fair.svc KILLED 46.86
FISCHER10-9-ninc FISCHER10-9-ninc.svc KILLED 46.62
FISCHER11-1-fair FISCHER11-1-fair.svc SAT 1.28
FISCHER11-1-ninc FISCHER11-1-ninc.svc UNSAT 1.64
FISCHER11-10-fair FISCHER11-10-fair.svc KILLED 45.89
FISCHER11-10-ninc FISCHER11-10-ninc.svc KILLED 45.58
FISCHER11-11-fair FISCHER11-11-fair.svc UNEXPECTED 1.03
FISCHER11-11-ninc FISCHER11-11-ninc.svc UNEXPECTED 1.01
FISCHER11-12-fair FISCHER11-12-fair.svc UNEXPECTED 1.14
FISCHER11-12-ninc FISCHER11-12-ninc.svc UNEXPECTED 1.13
FISCHER11-13-fair FISCHER11-13-fair.svc UNEXPECTED 1.29
FISCHER11-14-fair FISCHER11-14-fair.svc UNEXPECTED 1.25
FISCHER11-15-fair FISCHER11-15-fair.svc UNEXPECTED 1.29
FISCHER11-16-fair FISCHER11-16-fair.svc UNEXPECTED 1.35
FISCHER11-2-fair FISCHER11-2-fair.svc UNSAT 98.91
FISCHER11-2-ninc FISCHER11-2-ninc.svc UNSAT 8.75
FISCHER11-3-fair FISCHER11-3-fair.svc KILLED 3548.14
FISCHER11-3-ninc FISCHER11-3-ninc.svc UNSAT 24.01
FISCHER11-4-fair FISCHER11-4-fair.svc KILLED 3591.83
FISCHER11-4-ninc FISCHER11-4-ninc.svc UNSAT 85.53
FISCHER11-5-fair FISCHER11-5-fair.svc KILLED 3600.17
FISCHER11-5-ninc FISCHER11-5-ninc.svc UNSAT 453.17
FISCHER11-6-fair FISCHER11-6-fair.svc KILLED 3600.10
FISCHER11-6-ninc FISCHER11-6-ninc.svc KILLED 3599.09
FISCHER11-7-fair FISCHER11-7-fair.svc KILLED 47.30
FISCHER11-7-ninc FISCHER11-7-ninc.svc KILLED 49.11
FISCHER11-8-fair FISCHER11-8-fair.svc KILLED 46.95
FISCHER11-8-ninc FISCHER11-8-ninc.svc KILLED 46.67
FISCHER11-9-fair FISCHER11-9-fair.svc KILLED 45.94
FISCHER11-9-ninc FISCHER11-9-ninc.svc KILLED 46.22
FISCHER12-1-ninc FISCHER12-1-ninc.svc UNSAT 2.11
FISCHER12-10-ninc FISCHER12-10-ninc.svc UNEXPECTED 1.03
FISCHER12-11-ninc FISCHER12-11-ninc.svc UNEXPECTED 1.13
FISCHER12-12-ninc FISCHER12-12-ninc.svc UNEXPECTED 1.27
FISCHER12-13-ninc FISCHER12-13-ninc.svc UNEXPECTED 1.32
FISCHER12-2-ninc FISCHER12-2-ninc.svc UNSAT 8.67
FISCHER12-3-ninc FISCHER12-3-ninc.svc UNSAT 27.27
FISCHER12-4-ninc FISCHER12-4-ninc.svc UNSAT 119.14
FISCHER12-5-ninc FISCHER12-5-ninc.svc UNSAT 558.82
FISCHER12-6-ninc FISCHER12-6-ninc.svc KILLED 1882.62
FISCHER12-7-ninc FISCHER12-7-ninc.svc KILLED 46.18
FISCHER12-8-ninc FISCHER12-8-ninc.svc KILLED 45.97
FISCHER12-9-ninc FISCHER12-9-ninc.svc KILLED 46.07
FISCHER13-1-ninc FISCHER13-1-ninc.svc UNSAT 2.51
FISCHER13-10-ninc FISCHER13-10-ninc.svc UNEXPECTED 1.14
FISCHER13-11-ninc FISCHER13-11-ninc.svc UNEXPECTED 1.35
FISCHER13-12-ninc FISCHER13-12-ninc.svc UNEXPECTED 1.31
FISCHER13-13-ninc FISCHER13-13-ninc.svc UNEXPECTED 1.33
FISCHER13-14-ninc FISCHER13-14-ninc.svc UNEXPECTED 1.40
FISCHER13-2-ninc FISCHER13-2-ninc.svc UNSAT 9.86
FISCHER13-3-ninc FISCHER13-3-ninc.svc UNSAT 31.04
FISCHER13-4-ninc FISCHER13-4-ninc.svc UNSAT 132.46
FISCHER13-5-ninc FISCHER13-5-ninc.svc UNSAT 692.96
FISCHER13-6-ninc FISCHER13-6-ninc.svc KILLED 46.21
FISCHER13-7-ninc FISCHER13-7-ninc.svc KILLED 45.80
FISCHER13-8-ninc FISCHER13-8-ninc.svc KILLED 45.86
FISCHER13-9-ninc FISCHER13-9-ninc.svc KILLED 45.11
FISCHER14-1-ninc FISCHER14-1-ninc.svc UNSAT 2.91
FISCHER14-10-ninc FISCHER14-10-ninc.svc UNEXPECTED 1.29
FISCHER14-11-ninc FISCHER14-11-ninc.svc UNEXPECTED 1.33
FISCHER14-12-ninc FISCHER14-12-ninc.svc UNEXPECTED 1.28
FISCHER14-13-ninc FISCHER14-13-ninc.svc UNEXPECTED 1.38
FISCHER14-14-ninc FISCHER14-14-ninc.svc UNEXPECTED 1.44
FISCHER14-15-ninc FISCHER14-15-ninc.svc UNEXPECTED 1.56
FISCHER14-2-ninc FISCHER14-2-ninc.svc UNSAT 11.57
FISCHER14-3-ninc FISCHER14-3-ninc.svc UNSAT 35.74
FISCHER14-4-ninc FISCHER14-4-ninc.svc UNSAT 149.91
FISCHER14-5-ninc FISCHER14-5-ninc.svc UNSAT 866.49
FISCHER14-6-ninc FISCHER14-6-ninc.svc KILLED 45.53
FISCHER14-7-ninc FISCHER14-7-ninc.svc KILLED 45.56
FISCHER14-8-ninc FISCHER14-8-ninc.svc KILLED 44.68
FISCHER14-9-ninc FISCHER14-9-ninc.svc UNEXPECTED 1.12
FISCHER2-1-fair FISCHER2-1-fair.svc SAT 0.03
FISCHER2-1-ninc FISCHER2-1-ninc.svc UNSAT 0.02
FISCHER2-2-fair FISCHER2-2-fair.svc UNSAT 0.12
FISCHER2-2-ninc FISCHER2-2-ninc.svc UNSAT 0.11
FISCHER2-3-fair FISCHER2-3-fair.svc UNSAT 0.40
FISCHER2-3-ninc FISCHER2-3-ninc.svc SAT 0.17
FISCHER2-4-fair FISCHER2-4-fair.svc UNSAT 1.45
FISCHER2-5-fair FISCHER2-5-fair.svc UNSAT 5.61
FISCHER2-6-fair FISCHER2-6-fair.svc UNSAT 19.02
FISCHER2-7-fair FISCHER2-7-fair.svc SAT 1.67
FISCHER3-1-fair FISCHER3-1-fair.svc SAT 0.06
FISCHER3-1-ninc FISCHER3-1-ninc.svc UNSAT 0.07
FISCHER3-2-fair FISCHER3-2-fair.svc UNSAT 0.31
FISCHER3-2-ninc FISCHER3-2-ninc.svc UNSAT 0.26
FISCHER3-3-fair FISCHER3-3-fair.svc UNSAT 1.60
FISCHER3-3-ninc FISCHER3-3-ninc.svc UNSAT 1.08
FISCHER3-4-fair FISCHER3-4-fair.svc UNSAT 7.91
FISCHER3-4-ninc FISCHER3-4-ninc.svc SAT 1.21
FISCHER3-5-fair FISCHER3-5-fair.svc UNSAT 65.17
FISCHER3-6-fair FISCHER3-6-fair.svc UNSAT 498.58
FISCHER3-7-fair FISCHER3-7-fair.svc KILLED 3600.93
FISCHER3-8-fair FISCHER3-8-fair.svc SAT 11.78
FISCHER4-1-fair FISCHER4-1-fair.svc SAT 0.08
FISCHER4-1-ninc FISCHER4-1-ninc.svc UNSAT 0.11
FISCHER4-2-fair FISCHER4-2-fair.svc UNSAT 0.78
FISCHER4-2-ninc FISCHER4-2-ninc.svc UNSAT 0.53
FISCHER4-3-fair FISCHER4-3-fair.svc UNSAT 5.11
FISCHER4-3-ninc FISCHER4-3-ninc.svc UNSAT 2.35
FISCHER4-4-fair FISCHER4-4-fair.svc UNSAT 49.73
FISCHER4-4-ninc FISCHER4-4-ninc.svc UNSAT 10.64
FISCHER4-5-fair FISCHER4-5-fair.svc UNSAT 1137.79
FISCHER4-5-ninc FISCHER4-5-ninc.svc SAT 3.66
FISCHER4-6-fair FISCHER4-6-fair.svc KILLED 3599.76
FISCHER4-7-fair FISCHER4-7-fair.svc KILLED 3600.77
FISCHER4-8-fair FISCHER4-8-fair.svc KILLED 3600.76
FISCHER4-9-fair FISCHER4-9-fair.svc SAT 427.89
FISCHER5-1-fair FISCHER5-1-fair.svc SAT 0.16
FISCHER5-1-ninc FISCHER5-1-ninc.svc UNSAT 0.19
FISCHER5-10-fair FISCHER5-10-fair.svc KILLED 3599.43
FISCHER5-2-fair FISCHER5-2-fair.svc UNSAT 1.80
FISCHER5-2-ninc FISCHER5-2-ninc.svc UNSAT 0.92
FISCHER5-3-fair FISCHER5-3-fair.svc UNSAT 19.69
FISCHER5-3-ninc FISCHER5-3-ninc.svc UNSAT 3.88
FISCHER5-4-fair FISCHER5-4-fair.svc UNSAT 571.56
FISCHER5-4-ninc FISCHER5-4-ninc.svc UNSAT 15.75
FISCHER5-5-fair FISCHER5-5-fair.svc KILLED 3600.81
FISCHER5-5-ninc FISCHER5-5-ninc.svc UNSAT 78.90
FISCHER5-6-fair FISCHER5-6-fair.svc KILLED 3600.40
FISCHER5-6-ninc FISCHER5-6-ninc.svc SAT 10.95
FISCHER5-7-fair FISCHER5-7-fair.svc KILLED 3600.67
FISCHER5-8-fair FISCHER5-8-fair.svc KILLED 3600.68
FISCHER5-9-fair FISCHER5-9-fair.svc KILLED 3600.64
FISCHER6-1-fair FISCHER6-1-fair.svc SAT 0.24
FISCHER6-1-ninc FISCHER6-1-ninc.svc UNSAT 0.28
FISCHER6-10-fair FISCHER6-10-fair.svc KILLED 3597.09
FISCHER6-11-fair FISCHER6-11-fair.svc KILLED 3596.88
FISCHER6-2-fair FISCHER6-2-fair.svc UNSAT 3.47
FISCHER6-2-ninc FISCHER6-2-ninc.svc UNSAT 1.70
FISCHER6-3-fair FISCHER6-3-fair.svc UNSAT 64.99
FISCHER6-3-ninc FISCHER6-3-ninc.svc UNSAT 5.69
FISCHER6-4-fair FISCHER6-4-fair.svc KILLED 3578.98
FISCHER6-4-ninc FISCHER6-4-ninc.svc UNSAT 23.05
FISCHER6-5-fair FISCHER6-5-fair.svc KILLED 3600.60
FISCHER6-5-ninc FISCHER6-5-ninc.svc UNSAT 129.21
FISCHER6-6-fair FISCHER6-6-fair.svc KILLED 3600.56
FISCHER6-6-ninc FISCHER6-6-ninc.svc UNSAT 817.69
FISCHER6-7-fair FISCHER6-7-fair.svc KILLED 3600.67
FISCHER6-7-ninc FISCHER6-7-ninc.svc SAT 37.95
FISCHER6-8-fair FISCHER6-8-fair.svc KILLED 3600.53
FISCHER6-9-fair FISCHER6-9-fair.svc KILLED 3600.29
FISCHER7-1-fair FISCHER7-1-fair.svc SAT 0.32
FISCHER7-1-ninc FISCHER7-1-ninc.svc UNSAT 0.43
FISCHER7-10-fair FISCHER7-10-fair.svc KILLED 3599.57
FISCHER7-11-fair FISCHER7-11-fair.svc KILLED 49.78
FISCHER7-12-fair FISCHER7-12-fair.svc KILLED 48.63
FISCHER7-2-fair FISCHER7-2-fair.svc UNSAT 7.13
FISCHER7-2-ninc FISCHER7-2-ninc.svc UNSAT 2.34
FISCHER7-3-fair FISCHER7-3-fair.svc UNSAT 341.94
FISCHER7-3-ninc FISCHER7-3-ninc.svc UNSAT 7.75
FISCHER7-4-fair FISCHER7-4-fair.svc KILLED 3584.48
FISCHER7-4-ninc FISCHER7-4-ninc.svc UNSAT 31.59
FISCHER7-5-fair FISCHER7-5-fair.svc KILLED 3598.71
FISCHER7-5-ninc FISCHER7-5-ninc.svc UNSAT 170.37
FISCHER7-6-fair FISCHER7-6-fair.svc KILLED 3599.45
FISCHER7-6-ninc FISCHER7-6-ninc.svc UNSAT 1320.94
FISCHER7-7-fair FISCHER7-7-fair.svc KILLED 3600.49
FISCHER7-7-ninc FISCHER7-7-ninc.svc KILLED 3597.86
FISCHER7-8-fair FISCHER7-8-fair.svc KILLED 3599.57
FISCHER7-8-ninc FISCHER7-8-ninc.svc SAT 157.72
FISCHER7-9-fair FISCHER7-9-fair.svc KILLED 3600.12
FISCHER8-1-fair FISCHER8-1-fair.svc SAT 0.46
FISCHER8-1-ninc FISCHER8-1-ninc.svc UNSAT 0.57
FISCHER8-10-fair FISCHER8-10-fair.svc KILLED 49.26
FISCHER8-11-fair FISCHER8-11-fair.svc KILLED 47.38
FISCHER8-12-fair FISCHER8-12-fair.svc KILLED 46.53
FISCHER8-13-fair FISCHER8-13-fair.svc KILLED 46.36
FISCHER8-2-fair FISCHER8-2-fair.svc UNSAT 12.40
FISCHER8-2-ninc FISCHER8-2-ninc.svc UNSAT 3.57
FISCHER8-3-fair FISCHER8-3-fair.svc UNSAT 1290.31
FISCHER8-3-ninc FISCHER8-3-ninc.svc UNSAT 10.96
FISCHER8-4-fair FISCHER8-4-fair.svc KILLED 3600.37
FISCHER8-4-ninc FISCHER8-4-ninc.svc UNSAT 44.05
FISCHER8-5-fair FISCHER8-5-fair.svc KILLED 3595.73
FISCHER8-5-ninc FISCHER8-5-ninc.svc UNSAT 231.22
FISCHER8-6-fair FISCHER8-6-fair.svc KILLED 3596.14
FISCHER8-6-ninc FISCHER8-6-ninc.svc UNSAT 1675.83
FISCHER8-7-fair FISCHER8-7-fair.svc KILLED 3599.75
FISCHER8-7-ninc FISCHER8-7-ninc.svc KILLED 3598.56
FISCHER8-8-fair FISCHER8-8-fair.svc KILLED 3600.25
FISCHER8-8-ninc FISCHER8-8-ninc.svc KILLED 3598.37
FISCHER8-9-fair FISCHER8-9-fair.svc KILLED 3598.51
FISCHER8-9-ninc FISCHER8-9-ninc.svc SAT 1185.12
FISCHER9-1-fair FISCHER9-1-fair.svc SAT 0.59
FISCHER9-1-ninc FISCHER9-1-ninc.svc UNSAT 0.82
FISCHER9-10-fair FISCHER9-10-fair.svc KILLED 47.02
FISCHER9-10-ninc FISCHER9-10-ninc.svc KILLED 50.41
FISCHER9-11-fair FISCHER9-11-fair.svc KILLED 46.21
FISCHER9-12-fair FISCHER9-12-fair.svc KILLED 45.54
FISCHER9-13-fair FISCHER9-13-fair.svc KILLED 45.89
FISCHER9-14-fair FISCHER9-14-fair.svc UNEXPECTED 1.12
FISCHER9-2-fair FISCHER9-2-fair.svc UNSAT 26.10
FISCHER9-2-ninc FISCHER9-2-ninc.svc UNSAT 4.31
FISCHER9-3-fair FISCHER9-3-fair.svc KILLED 3552.74
FISCHER9-3-ninc FISCHER9-3-ninc.svc UNSAT 13.38
FISCHER9-4-fair FISCHER9-4-fair.svc KILLED 3593.90
FISCHER9-4-ninc FISCHER9-4-ninc.svc UNSAT 55.15
FISCHER9-5-fair FISCHER9-5-fair.svc KILLED 3595.67
FISCHER9-5-ninc FISCHER9-5-ninc.svc UNSAT 317.39
FISCHER9-6-fair FISCHER9-6-fair.svc KILLED 3596.64
FISCHER9-6-ninc FISCHER9-6-ninc.svc UNSAT 2153.93
FISCHER9-7-fair FISCHER9-7-fair.svc KILLED 3597.55
FISCHER9-7-ninc FISCHER9-7-ninc.svc KILLED 3598.08
FISCHER9-8-fair FISCHER9-8-fair.svc KILLED 3598.51
FISCHER9-8-ninc FISCHER9-8-ninc.svc KILLED 3596.13
FISCHER9-9-fair FISCHER9-9-fair.svc KILLED 47.77
FISCHER9-9-ninc FISCHER9-9-ninc.svc KILLED 51.31
PO2-2-PO2 PO2-2-PO2.svc UNSAT 0.11
PO2-3-PO2 PO2-3-PO2.svc UNSAT 0.30
PO2-4-PO2 PO2-4-PO2.svc UNSAT 0.65
PO2-5-PO2 PO2-5-PO2.svc UNSAT 1.33
PO2-6-PO2 PO2-6-PO2.svc UNSAT 2.48
PO2-7-PO2 PO2-7-PO2.svc UNSAT 4.52
PO2-8-PO2 PO2-8-PO2.svc SAT 3.27
PO3-10-PO3 PO3-10-PO3.svc SAT 260.92
PO3-2-PO3 PO3-2-PO3.svc UNSAT 1.74
PO3-3-PO3 PO3-3-PO3.svc UNSAT 4.79
PO3-4-PO3 PO3-4-PO3.svc UNSAT 11.07
PO3-5-PO3 PO3-5-PO3.svc UNSAT 27.33
PO3-6-PO3 PO3-6-PO3.svc UNSAT 42.39
PO3-7-PO3 PO3-7-PO3.svc UNSAT 106.50
PO3-8-PO3 PO3-8-PO3.svc UNSAT 175.61
PO3-9-PO3 PO3-9-PO3.svc UNSAT 365.81
PO4-10-PO4 PO4-10-PO4.svc UNEXPECTED 1.60
PO4-11-PO4 PO4-11-PO4.svc UNEXPECTED 1.68
PO4-12-PO4 PO4-12-PO4.svc UNEXPECTED 1.85
PO4-2-PO4 PO4-2-PO4.svc UNSAT 37.25
PO4-3-PO4 PO4-3-PO4.svc UNEXPECTED 0.66
PO4-4-PO4 PO4-4-PO4.svc UNEXPECTED 0.85
PO4-5-PO4 PO4-5-PO4.svc UNEXPECTED 0.96
PO4-6-PO4 PO4-6-PO4.svc UNEXPECTED 1.09
PO4-7-PO4 PO4-7-PO4.svc UNEXPECTED 1.22
PO4-8-PO4 PO4-8-PO4.svc UNEXPECTED 1.30
PO4-9-PO4 PO4-9-PO4.svc UNEXPECTED 1.44
PO5-10-PO5 PO5-10-PO5.svc UNEXPECTED 3.87
PO5-11-PO5 PO5-11-PO5.svc UNEXPECTED 4.12
PO5-12-PO5 PO5-12-PO5.svc UNEXPECTED 4.45
PO5-13-PO5 PO5-13-PO5.svc UNEXPECTED 4.83
PO5-14-PO5 PO5-14-PO5.svc UNEXPECTED 5.30
PO5-2-PO5 PO5-2-PO5.svc UNEXPECTED 1.44
PO5-3-PO5 PO5-3-PO5.svc UNEXPECTED 2.11
PO5-4-PO5 PO5-4-PO5.svc UNEXPECTED 2.70
PO5-5-PO5 PO5-5-PO5.svc UNEXPECTED 2.33
PO5-6-PO5 PO5-6-PO5.svc UNEXPECTED 2.55
PO5-7-PO5 PO5-7-PO5.svc UNEXPECTED 2.85
PO5-8-PO5 PO5-8-PO5.svc UNEXPECTED 2.99
PO5-9-PO5 PO5-9-PO5.svc UNEXPECTED 3.54