Benchmarking mathsat-opt, DIRECTORY=mathsat, EXT=ms, MAX_MEMORY=450000, MAX_STACK=40000, MAX_TIME=3600
FISCHER1-1-fair FISCHER1-1-fair.ms EXAMPLE_NOT_SUPPORTED 0.00
FISCHER1-1-ninc FISCHER1-1-ninc.ms UNSAT 0.00
FISCHER1-2-fair FISCHER1-2-fair.ms UNSAT 0.00
FISCHER1-2-ninc FISCHER1-2-ninc.ms SAT 0.00
FISCHER1-3-fair FISCHER1-3-fair.ms UNSAT 0.00
FISCHER1-4-fair FISCHER1-4-fair.ms UNSAT 0.00
FISCHER1-5-fair FISCHER1-5-fair.ms UNSAT 0.00
FISCHER1-6-fair FISCHER1-6-fair.ms UNSAT 0.01
FISCHER10-1-fair FISCHER10-1-fair.ms EXAMPLE_NOT_SUPPORTED 0.00
FISCHER10-1-ninc FISCHER10-1-ninc.ms UNSAT 0.02
FISCHER10-10-fair FISCHER10-10-fair.ms KILLED 3598.90
FISCHER10-10-ninc FISCHER10-10-ninc.ms UNSAT 2187.96
FISCHER10-11-fair FISCHER10-11-fair.ms KILLED 3599.55
FISCHER10-11-ninc FISCHER10-11-ninc.ms KILLED 3600.97
FISCHER10-12-fair FISCHER10-12-fair.ms KILLED 3599.43
FISCHER10-13-fair FISCHER10-13-fair.ms KILLED 3599.56
FISCHER10-14-fair FISCHER10-14-fair.ms KILLED 3599.80
FISCHER10-15-fair FISCHER10-15-fair.ms KILLED 3599.65
FISCHER10-2-fair FISCHER10-2-fair.ms UNSAT 0.13
FISCHER10-2-ninc FISCHER10-2-ninc.ms UNSAT 0.02
FISCHER10-3-fair FISCHER10-3-fair.ms UNSAT 0.06
FISCHER10-3-ninc FISCHER10-3-ninc.ms UNSAT 0.03
FISCHER10-4-fair FISCHER10-4-fair.ms UNSAT 0.04
FISCHER10-4-ninc FISCHER10-4-ninc.ms UNSAT 0.07
FISCHER10-5-fair FISCHER10-5-fair.ms UNSAT 7.05
FISCHER10-5-ninc FISCHER10-5-ninc.ms UNSAT 0.14
FISCHER10-6-fair FISCHER10-6-fair.ms UNSAT 96.11
FISCHER10-6-ninc FISCHER10-6-ninc.ms UNSAT 0.68
FISCHER10-7-fair FISCHER10-7-fair.ms UNSAT 1145.56
FISCHER10-7-ninc FISCHER10-7-ninc.ms UNSAT 4.06
FISCHER10-8-fair FISCHER10-8-fair.ms KILLED 3598.16
FISCHER10-8-ninc FISCHER10-8-ninc.ms UNSAT 35.05
FISCHER10-9-fair FISCHER10-9-fair.ms KILLED 3598.41
FISCHER10-9-ninc FISCHER10-9-ninc.ms UNSAT 273.59
FISCHER11-1-fair FISCHER11-1-fair.ms EXAMPLE_NOT_SUPPORTED 0.01
FISCHER11-1-ninc FISCHER11-1-ninc.ms UNSAT 0.02
FISCHER11-10-fair FISCHER11-10-fair.ms KILLED 3599.36
FISCHER11-10-ninc FISCHER11-10-ninc.ms UNSAT 3572.68
FISCHER11-11-fair FISCHER11-11-fair.ms KILLED 3599.52
FISCHER11-11-ninc FISCHER11-11-ninc.ms KILLED 3600.95
FISCHER11-12-fair FISCHER11-12-fair.ms KILLED 3599.73
FISCHER11-12-ninc FISCHER11-12-ninc.ms KILLED 3600.97
FISCHER11-13-fair FISCHER11-13-fair.ms KILLED 3599.02
FISCHER11-14-fair FISCHER11-14-fair.ms KILLED 3600.00
FISCHER11-15-fair FISCHER11-15-fair.ms KILLED 3600.11
FISCHER11-16-fair FISCHER11-16-fair.ms KILLED 3600.26
FISCHER11-2-fair FISCHER11-2-fair.ms UNSAT 0.37
FISCHER11-2-ninc FISCHER11-2-ninc.ms UNSAT 0.04
FISCHER11-3-fair FISCHER11-3-fair.ms UNSAT 0.05
FISCHER11-3-ninc FISCHER11-3-ninc.ms UNSAT 0.02
FISCHER11-4-fair FISCHER11-4-fair.ms UNSAT 0.07
FISCHER11-4-ninc FISCHER11-4-ninc.ms UNSAT 0.06
FISCHER11-5-fair FISCHER11-5-fair.ms UNSAT 17.98
FISCHER11-5-ninc FISCHER11-5-ninc.ms UNSAT 0.19
FISCHER11-6-fair FISCHER11-6-fair.ms UNSAT 254.20
FISCHER11-6-ninc FISCHER11-6-ninc.ms UNSAT 0.86
FISCHER11-7-fair FISCHER11-7-fair.ms UNSAT 3200.37
FISCHER11-7-ninc FISCHER11-7-ninc.ms UNSAT 5.30
FISCHER11-8-fair FISCHER11-8-fair.ms KILLED 3598.60
FISCHER11-8-ninc FISCHER11-8-ninc.ms UNSAT 49.28
FISCHER11-9-fair FISCHER11-9-fair.ms KILLED 3598.71
FISCHER11-9-ninc FISCHER11-9-ninc.ms UNSAT 445.17
FISCHER12-1-ninc FISCHER12-1-ninc.ms UNSAT 0.00
FISCHER12-10-ninc FISCHER12-10-ninc.ms KILLED 3600.96
FISCHER12-11-ninc FISCHER12-11-ninc.ms KILLED 3600.97
FISCHER12-12-ninc FISCHER12-12-ninc.ms KILLED 3600.97
FISCHER12-13-ninc FISCHER12-13-ninc.ms KILLED 3600.97
FISCHER12-2-ninc FISCHER12-2-ninc.ms UNSAT 0.03
FISCHER12-3-ninc FISCHER12-3-ninc.ms UNSAT 0.04
FISCHER12-4-ninc FISCHER12-4-ninc.ms UNSAT 0.08
FISCHER12-5-ninc FISCHER12-5-ninc.ms UNSAT 0.21
FISCHER12-6-ninc FISCHER12-6-ninc.ms UNSAT 0.95
FISCHER12-7-ninc FISCHER12-7-ninc.ms UNSAT 6.78
FISCHER12-8-ninc FISCHER12-8-ninc.ms UNSAT 79.05
FISCHER12-9-ninc FISCHER12-9-ninc.ms UNSAT 626.06
FISCHER13-1-ninc FISCHER13-1-ninc.ms UNSAT 0.02
FISCHER13-10-ninc FISCHER13-10-ninc.ms KILLED 3600.96
FISCHER13-11-ninc FISCHER13-11-ninc.ms KILLED 3600.96
FISCHER13-12-ninc FISCHER13-12-ninc.ms KILLED 3600.98
FISCHER13-13-ninc FISCHER13-13-ninc.ms KILLED 3600.99
FISCHER13-14-ninc FISCHER13-14-ninc.ms KILLED 3600.97
FISCHER13-2-ninc FISCHER13-2-ninc.ms UNSAT 0.03
FISCHER13-3-ninc FISCHER13-3-ninc.ms UNSAT 0.06
FISCHER13-4-ninc FISCHER13-4-ninc.ms UNSAT 0.08
FISCHER13-5-ninc FISCHER13-5-ninc.ms UNSAT 0.27
FISCHER13-6-ninc FISCHER13-6-ninc.ms UNSAT 1.14
FISCHER13-7-ninc FISCHER13-7-ninc.ms UNSAT 8.56
FISCHER13-8-ninc FISCHER13-8-ninc.ms UNSAT 104.33
FISCHER13-9-ninc FISCHER13-9-ninc.ms UNSAT 974.66
FISCHER14-1-ninc FISCHER14-1-ninc.ms UNSAT 0.01
FISCHER14-10-ninc FISCHER14-10-ninc.ms KILLED 3600.96
FISCHER14-11-ninc FISCHER14-11-ninc.ms KILLED 3600.97
FISCHER14-12-ninc FISCHER14-12-ninc.ms KILLED 3600.98
FISCHER14-13-ninc FISCHER14-13-ninc.ms KILLED 3601.00
FISCHER14-14-ninc FISCHER14-14-ninc.ms KILLED 3600.93
FISCHER14-15-ninc FISCHER14-15-ninc.ms KILLED 3600.93
FISCHER14-2-ninc FISCHER14-2-ninc.ms UNSAT 0.01
FISCHER14-3-ninc FISCHER14-3-ninc.ms UNSAT 0.04
FISCHER14-4-ninc FISCHER14-4-ninc.ms UNSAT 0.10
FISCHER14-5-ninc FISCHER14-5-ninc.ms UNSAT 0.28
FISCHER14-6-ninc FISCHER14-6-ninc.ms UNSAT 1.39
FISCHER14-7-ninc FISCHER14-7-ninc.ms UNSAT 10.49
FISCHER14-8-ninc FISCHER14-8-ninc.ms UNSAT 135.54
FISCHER14-9-ninc FISCHER14-9-ninc.ms UNSAT 1629.94
FISCHER2-1-fair FISCHER2-1-fair.ms EXAMPLE_NOT_SUPPORTED 0.00
FISCHER2-1-ninc FISCHER2-1-ninc.ms UNSAT 0.01
FISCHER2-2-fair FISCHER2-2-fair.ms UNSAT 0.00
FISCHER2-2-ninc FISCHER2-2-ninc.ms UNSAT 0.00
FISCHER2-3-fair FISCHER2-3-fair.ms UNSAT 0.01
FISCHER2-3-ninc FISCHER2-3-ninc.ms SAT 0.01
FISCHER2-4-fair FISCHER2-4-fair.ms UNSAT 0.01
FISCHER2-5-fair FISCHER2-5-fair.ms UNSAT 0.02
FISCHER2-6-fair FISCHER2-6-fair.ms UNSAT 0.02
FISCHER2-7-fair FISCHER2-7-fair.ms SAT 0.04
FISCHER3-1-fair FISCHER3-1-fair.ms EXAMPLE_NOT_SUPPORTED 0.01
FISCHER3-1-ninc FISCHER3-1-ninc.ms UNSAT 0.01
FISCHER3-2-fair FISCHER3-2-fair.ms UNSAT 0.00
FISCHER3-2-ninc FISCHER3-2-ninc.ms UNSAT 0.00
FISCHER3-3-fair FISCHER3-3-fair.ms UNSAT 0.00
FISCHER3-3-ninc FISCHER3-3-ninc.ms UNSAT 0.01
FISCHER3-4-fair FISCHER3-4-fair.ms UNSAT 0.01
FISCHER3-4-ninc FISCHER3-4-ninc.ms SAT 0.01
FISCHER3-5-fair FISCHER3-5-fair.ms UNSAT 0.01
FISCHER3-6-fair FISCHER3-6-fair.ms UNSAT 0.07
FISCHER3-7-fair FISCHER3-7-fair.ms UNSAT 0.22
FISCHER3-8-fair FISCHER3-8-fair.ms SAT 0.48
FISCHER4-1-fair FISCHER4-1-fair.ms EXAMPLE_NOT_SUPPORTED 0.00
FISCHER4-1-ninc FISCHER4-1-ninc.ms UNSAT 0.01
FISCHER4-2-fair FISCHER4-2-fair.ms UNSAT 0.01
FISCHER4-2-ninc FISCHER4-2-ninc.ms UNSAT 0.00
FISCHER4-3-fair FISCHER4-3-fair.ms UNSAT 0.02
FISCHER4-3-ninc FISCHER4-3-ninc.ms UNSAT 0.00
FISCHER4-4-fair FISCHER4-4-fair.ms UNSAT 0.01
FISCHER4-4-ninc FISCHER4-4-ninc.ms UNSAT 0.01
FISCHER4-5-fair FISCHER4-5-fair.ms UNSAT 0.03
FISCHER4-5-ninc FISCHER4-5-ninc.ms SAT 0.03
FISCHER4-6-fair FISCHER4-6-fair.ms UNSAT 0.17
FISCHER4-7-fair FISCHER4-7-fair.ms UNSAT 0.80
FISCHER4-8-fair FISCHER4-8-fair.ms UNSAT 4.23
FISCHER4-9-fair FISCHER4-9-fair.ms SAT 5.91
FISCHER5-1-fair FISCHER5-1-fair.ms EXAMPLE_NOT_SUPPORTED 0.00
FISCHER5-1-ninc FISCHER5-1-ninc.ms UNSAT 0.01
FISCHER5-10-fair FISCHER5-10-fair.ms SAT 439.81
FISCHER5-2-fair FISCHER5-2-fair.ms UNSAT 0.01
FISCHER5-2-ninc FISCHER5-2-ninc.ms UNSAT 0.01
FISCHER5-3-fair FISCHER5-3-fair.ms UNSAT 0.02
FISCHER5-3-ninc FISCHER5-3-ninc.ms UNSAT 0.01
FISCHER5-4-fair FISCHER5-4-fair.ms UNSAT 0.04
FISCHER5-4-ninc FISCHER5-4-ninc.ms UNSAT 0.03
FISCHER5-5-fair FISCHER5-5-fair.ms UNSAT 0.09
FISCHER5-5-ninc FISCHER5-5-ninc.ms UNSAT 0.06
FISCHER5-6-fair FISCHER5-6-fair.ms UNSAT 0.47
FISCHER5-6-ninc FISCHER5-6-ninc.ms SAT 0.03
FISCHER5-7-fair FISCHER5-7-fair.ms UNSAT 3.07
FISCHER5-8-fair FISCHER5-8-fair.ms UNSAT 20.95
FISCHER5-9-fair FISCHER5-9-fair.ms UNSAT 138.72
FISCHER6-1-fair FISCHER6-1-fair.ms EXAMPLE_NOT_SUPPORTED 0.00
FISCHER6-1-ninc FISCHER6-1-ninc.ms UNSAT 0.00
FISCHER6-10-fair FISCHER6-10-fair.ms KILLED 3597.32
FISCHER6-11-fair FISCHER6-11-fair.ms KILLED 3597.05
FISCHER6-2-fair FISCHER6-2-fair.ms UNSAT 0.01
FISCHER6-2-ninc FISCHER6-2-ninc.ms UNSAT 0.02
FISCHER6-3-fair FISCHER6-3-fair.ms UNSAT 0.02
FISCHER6-3-ninc FISCHER6-3-ninc.ms UNSAT 0.02
FISCHER6-4-fair FISCHER6-4-fair.ms UNSAT 0.02
FISCHER6-4-ninc FISCHER6-4-ninc.ms UNSAT 0.03
FISCHER6-5-fair FISCHER6-5-fair.ms UNSAT 0.18
FISCHER6-5-ninc FISCHER6-5-ninc.ms UNSAT 0.09
FISCHER6-6-fair FISCHER6-6-fair.ms UNSAT 1.44
FISCHER6-6-ninc FISCHER6-6-ninc.ms UNSAT 0.25
FISCHER6-7-fair FISCHER6-7-fair.ms UNSAT 11.48
FISCHER6-7-ninc FISCHER6-7-ninc.ms SAT 0.07
FISCHER6-8-fair FISCHER6-8-fair.ms UNSAT 91.36
FISCHER6-9-fair FISCHER6-9-fair.ms UNSAT 694.47
FISCHER7-1-fair FISCHER7-1-fair.ms EXAMPLE_NOT_SUPPORTED 0.01
FISCHER7-1-ninc FISCHER7-1-ninc.ms UNSAT 0.01
FISCHER7-10-fair FISCHER7-10-fair.ms KILLED 3597.67
FISCHER7-11-fair FISCHER7-11-fair.ms KILLED 3598.20
FISCHER7-12-fair FISCHER7-12-fair.ms KILLED 3598.48
FISCHER7-2-fair FISCHER7-2-fair.ms UNSAT 0.03
FISCHER7-2-ninc FISCHER7-2-ninc.ms UNSAT 0.01
FISCHER7-3-fair FISCHER7-3-fair.ms UNSAT 0.03
FISCHER7-3-ninc FISCHER7-3-ninc.ms UNSAT 0.01
FISCHER7-4-fair FISCHER7-4-fair.ms UNSAT 0.04
FISCHER7-4-ninc FISCHER7-4-ninc.ms UNSAT 0.04
FISCHER7-5-fair FISCHER7-5-fair.ms UNSAT 0.39
FISCHER7-5-ninc FISCHER7-5-ninc.ms UNSAT 0.07
FISCHER7-6-fair FISCHER7-6-fair.ms UNSAT 4.45
FISCHER7-6-ninc FISCHER7-6-ninc.ms UNSAT 0.30
FISCHER7-7-fair FISCHER7-7-fair.ms UNSAT 39.93
FISCHER7-7-ninc FISCHER7-7-ninc.ms UNSAT 1.59
FISCHER7-8-fair FISCHER7-8-fair.ms UNSAT 351.14
FISCHER7-8-ninc FISCHER7-8-ninc.ms SAT 0.25
FISCHER7-9-fair FISCHER7-9-fair.ms UNSAT 3052.91
FISCHER8-1-fair FISCHER8-1-fair.ms EXAMPLE_NOT_SUPPORTED 0.01
FISCHER8-1-ninc FISCHER8-1-ninc.ms UNSAT 0.01
FISCHER8-10-fair FISCHER8-10-fair.ms KILLED 3598.35
FISCHER8-11-fair FISCHER8-11-fair.ms KILLED 3598.65
FISCHER8-12-fair FISCHER8-12-fair.ms KILLED 3598.62
FISCHER8-13-fair FISCHER8-13-fair.ms KILLED 3599.08
FISCHER8-2-fair FISCHER8-2-fair.ms UNSAT 0.05
FISCHER8-2-ninc FISCHER8-2-ninc.ms UNSAT 0.01
FISCHER8-3-fair FISCHER8-3-fair.ms UNSAT 0.01
FISCHER8-3-ninc FISCHER8-3-ninc.ms UNSAT 0.02
FISCHER8-4-fair FISCHER8-4-fair.ms UNSAT 0.04
FISCHER8-4-ninc FISCHER8-4-ninc.ms UNSAT 0.03
FISCHER8-5-fair FISCHER8-5-fair.ms UNSAT 1.00
FISCHER8-5-ninc FISCHER8-5-ninc.ms UNSAT 0.12
FISCHER8-6-fair FISCHER8-6-fair.ms UNSAT 12.82
FISCHER8-6-ninc FISCHER8-6-ninc.ms UNSAT 0.41
FISCHER8-7-fair FISCHER8-7-fair.ms UNSAT 127.72
FISCHER8-7-ninc FISCHER8-7-ninc.ms UNSAT 2.23
FISCHER8-8-fair FISCHER8-8-fair.ms UNSAT 1265.09
FISCHER8-8-ninc FISCHER8-8-ninc.ms UNSAT 15.30
FISCHER8-9-fair FISCHER8-9-fair.ms KILLED 3598.11
FISCHER8-9-ninc FISCHER8-9-ninc.ms SAT 2.87
FISCHER9-1-fair FISCHER9-1-fair.ms EXAMPLE_NOT_SUPPORTED 0.00
FISCHER9-1-ninc FISCHER9-1-ninc.ms UNSAT 0.01
FISCHER9-10-fair FISCHER9-10-fair.ms KILLED 3599.13
FISCHER9-10-ninc FISCHER9-10-ninc.ms SAT 53.64
FISCHER9-11-fair FISCHER9-11-fair.ms KILLED 3599.25
FISCHER9-12-fair FISCHER9-12-fair.ms KILLED 3599.35
FISCHER9-13-fair FISCHER9-13-fair.ms KILLED 3599.16
FISCHER9-14-fair FISCHER9-14-fair.ms KILLED 3599.63
FISCHER9-2-fair FISCHER9-2-fair.ms UNSAT 0.07
FISCHER9-2-ninc FISCHER9-2-ninc.ms UNSAT 0.02
FISCHER9-3-fair FISCHER9-3-fair.ms UNSAT 0.04
FISCHER9-3-ninc FISCHER9-3-ninc.ms UNSAT 0.02
FISCHER9-4-fair FISCHER9-4-fair.ms UNSAT 0.06
FISCHER9-4-ninc FISCHER9-4-ninc.ms UNSAT 0.04
FISCHER9-5-fair FISCHER9-5-fair.ms UNSAT 2.71
FISCHER9-5-ninc FISCHER9-5-ninc.ms UNSAT 0.09
FISCHER9-6-fair FISCHER9-6-fair.ms UNSAT 35.45
FISCHER9-6-ninc FISCHER9-6-ninc.ms UNSAT 0.54
FISCHER9-7-fair FISCHER9-7-fair.ms UNSAT 391.44
FISCHER9-7-ninc FISCHER9-7-ninc.ms UNSAT 3.09
FISCHER9-8-fair FISCHER9-8-fair.ms KILLED 3598.29
FISCHER9-8-ninc FISCHER9-8-ninc.ms UNSAT 23.74
FISCHER9-9-fair FISCHER9-9-fair.ms KILLED 3598.24
FISCHER9-9-ninc FISCHER9-9-ninc.ms UNSAT 171.71
PO2-2-PO2 PO2-2-PO2.ms UNSAT 0.01
PO2-3-PO2 PO2-3-PO2.ms UNSAT 0.02
PO2-4-PO2 PO2-4-PO2.ms UNSAT 0.03
PO2-5-PO2 PO2-5-PO2.ms UNSAT 0.03
PO2-6-PO2 PO2-6-PO2.ms UNSAT 0.03
PO2-7-PO2 PO2-7-PO2.ms UNSAT 0.03
PO2-8-PO2 PO2-8-PO2.ms SAT 0.04
PO3-10-PO3 PO3-10-PO3.ms SAT 0.28
PO3-2-PO3 PO3-2-PO3.ms UNSAT 0.04
PO3-3-PO3 PO3-3-PO3.ms UNSAT 0.04
PO3-4-PO3 PO3-4-PO3.ms UNSAT 0.08
PO3-5-PO3 PO3-5-PO3.ms UNSAT 0.12
PO3-6-PO3 PO3-6-PO3.ms UNSAT 0.12
PO3-7-PO3 PO3-7-PO3.ms UNSAT 0.11
PO3-8-PO3 PO3-8-PO3.ms UNSAT 0.18
PO3-9-PO3 PO3-9-PO3.ms UNSAT 0.28
PO4-10-PO4 PO4-10-PO4.ms UNSAT 1.34
PO4-11-PO4 PO4-11-PO4.ms UNSAT 3.08
PO4-12-PO4 PO4-12-PO4.ms SAT 7.29
PO4-2-PO4 PO4-2-PO4.ms UNSAT 0.17
PO4-3-PO4 PO4-3-PO4.ms UNSAT 0.26
PO4-4-PO4 PO4-4-PO4.ms UNSAT 0.33
PO4-5-PO4 PO4-5-PO4.ms UNSAT 0.47
PO4-6-PO4 PO4-6-PO4.ms UNSAT 0.56
PO4-7-PO4 PO4-7-PO4.ms UNSAT 0.63
PO4-8-PO4 PO4-8-PO4.ms UNSAT 0.72
PO4-9-PO4 PO4-9-PO4.ms UNSAT 0.90
PO5-10-PO5 PO5-10-PO5.ms UNSAT 5.02
PO5-11-PO5 PO5-11-PO5.ms UNSAT 6.31
PO5-12-PO5 PO5-12-PO5.ms UNSAT 14.92
PO5-13-PO5 PO5-13-PO5.ms UNSAT 61.45
PO5-14-PO5 PO5-14-PO5.ms SAT 72.81
PO5-2-PO5 PO5-2-PO5.ms UNSAT 0.94
PO5-3-PO5 PO5-3-PO5.ms UNSAT 1.39
PO5-4-PO5 PO5-4-PO5.ms UNSAT 1.92
PO5-5-PO5 PO5-5-PO5.ms UNSAT 2.42
PO5-6-PO5 PO5-6-PO5.ms UNSAT 2.96
PO5-7-PO5 PO5-7-PO5.ms UNSAT 3.65
PO5-8-PO5 PO5-8-PO5.ms UNSAT 4.03
PO5-9-PO5 PO5-9-PO5.ms UNSAT 4.51