Status Difficulty Category Output Time/ms Correct?
QF_LIA/mathsat/FISCHER10-10-fair.smt unsat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER10-11-fair.smt unsat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER10-12-fair.smt unsat 1 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER10-13-fair.smt unsat 1 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER10-14-fair.smt unsat 1 industrial error 0 Unknown
QF_LIA/mathsat/FISCHER10-15-fair.smt sat 1 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER10-1-fair.smt sat 0 industrial sat 3567 Yes
QF_LIA/mathsat/FISCHER10-2-fair.smt unsat 0 industrial unsat 16445 Yes
QF_LIA/mathsat/FISCHER10-3-fair.smt unsat 0 industrial unsat 61759 Yes
QF_LIA/mathsat/FISCHER10-4-fair.smt unsat 0 industrial error 0 Unknown
QF_LIA/mathsat/FISCHER10-5-fair.smt unsat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER10-6-fair.smt unsat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER10-7-fair.smt unsat 0 industrial error 0 Unknown
QF_LIA/mathsat/FISCHER10-8-fair.smt unsat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER10-9-fair.smt unsat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER11-10-fair.smt unsat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER11-11-fair.smt unsat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER11-12-fair.smt unsat 1 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER11-13-fair.smt unsat 1 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER11-14-fair.smt unsat 1 industrial error 0 Unknown
QF_LIA/mathsat/FISCHER11-15-fair.smt unsat 1 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER11-16-fair.smt sat 1 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER11-1-fair.smt sat 0 industrial sat 4023 Yes
QF_LIA/mathsat/FISCHER11-2-fair.smt unsat 0 industrial unsat 32608 Yes
QF_LIA/mathsat/FISCHER11-3-fair.smt unsat 0 industrial unsat 200840 Yes
QF_LIA/mathsat/FISCHER11-4-fair.smt unsat 0 industrial error 0 Unknown
QF_LIA/mathsat/FISCHER11-5-fair.smt unsat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER11-6-fair.smt unsat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER11-7-fair.smt unsat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER11-8-fair.smt unsat 0 industrial error 0 Unknown
QF_LIA/mathsat/FISCHER11-9-fair.smt unsat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER1-1-fair.smt sat 0 industrial sat 1180 Yes
QF_LIA/mathsat/FISCHER1-2-fair.smt unsat 0 industrial unsat 1547 Yes
QF_LIA/mathsat/FISCHER1-3-fair.smt unsat 0 industrial unsat 2092 Yes
QF_LIA/mathsat/FISCHER1-4-fair.smt unsat 0 industrial unsat 2430 Yes
QF_LIA/mathsat/FISCHER1-5-fair.smt unsat 0 industrial unsat 2766 Yes
QF_LIA/mathsat/FISCHER1-6-fair.smt unsat 0 industrial unsat 3223 Yes
QF_LIA/mathsat/FISCHER2-1-fair.smt sat 0 industrial sat 1512 Yes
QF_LIA/mathsat/FISCHER2-2-fair.smt unsat 0 industrial unsat 2391 Yes
QF_LIA/mathsat/FISCHER2-3-fair.smt unsat 0 industrial unsat 3786 Yes
QF_LIA/mathsat/FISCHER2-4-fair.smt unsat 0 industrial unsat 5226 Yes
QF_LIA/mathsat/FISCHER2-5-fair.smt unsat 0 industrial unsat 7309 Yes
QF_LIA/mathsat/FISCHER2-6-fair.smt unsat 0 industrial unsat 10996 Yes
QF_LIA/mathsat/FISCHER2-7-fair.smt sat 0 industrial sat 11909 Yes
QF_LIA/mathsat/FISCHER3-1-fair.smt sat 0 industrial sat 1850 Yes
QF_LIA/mathsat/FISCHER3-2-fair.smt unsat 0 industrial unsat 2951 Yes
QF_LIA/mathsat/FISCHER3-3-fair.smt unsat 0 industrial unsat 4515 Yes
QF_LIA/mathsat/FISCHER3-4-fair.smt unsat 0 industrial unsat 7383 Yes
QF_LIA/mathsat/FISCHER3-5-fair.smt unsat 0 industrial unsat 12949 Yes
QF_LIA/mathsat/FISCHER3-6-fair.smt unsat 0 industrial unsat 37126 Yes
QF_LIA/mathsat/FISCHER3-7-fair.smt unsat 0 industrial unsat 112880 Yes
QF_LIA/mathsat/FISCHER3-8-fair.smt sat 0 industrial sat 342820 Yes
QF_LIA/mathsat/FISCHER4-1-fair.smt sat 0 industrial sat 2119 Yes
QF_LIA/mathsat/FISCHER4-2-fair.smt unsat 0 industrial unsat 3772 Yes
QF_LIA/mathsat/FISCHER4-3-fair.smt unsat 0 industrial unsat 5939 Yes
QF_LIA/mathsat/FISCHER4-4-fair.smt unsat 0 industrial unsat 12148 Yes
QF_LIA/mathsat/FISCHER4-5-fair.smt unsat 0 industrial unsat 20620 Yes
QF_LIA/mathsat/FISCHER4-6-fair.smt unsat 0 industrial unsat 73311 Yes
QF_LIA/mathsat/FISCHER4-7-fair.smt unsat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER4-8-fair.smt unsat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER4-9-fair.smt sat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER5-10-fair.smt sat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER5-1-fair.smt sat 0 industrial sat 2350 Yes
QF_LIA/mathsat/FISCHER5-2-fair.smt unsat 0 industrial unsat 4426 Yes
QF_LIA/mathsat/FISCHER5-3-fair.smt unsat 0 industrial unsat 6948 Yes
QF_LIA/mathsat/FISCHER5-4-fair.smt unsat 0 industrial unsat 59740 Yes
QF_LIA/mathsat/FISCHER5-5-fair.smt unsat 0 industrial unsat 39847 Yes
QF_LIA/mathsat/FISCHER5-6-fair.smt unsat 0 industrial unsat 174565 Yes
QF_LIA/mathsat/FISCHER5-7-fair.smt unsat 0 industrial unsat 749671 Yes
QF_LIA/mathsat/FISCHER5-8-fair.smt unsat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER5-9-fair.smt unsat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER6-10-fair.smt unsat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER6-11-fair.smt sat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER6-1-fair.smt sat 0 industrial sat 2622 Yes
QF_LIA/mathsat/FISCHER6-2-fair.smt unsat 0 industrial unsat 5544 Yes
QF_LIA/mathsat/FISCHER6-3-fair.smt unsat 0 industrial unsat 8863 Yes
QF_LIA/mathsat/FISCHER6-4-fair.smt unsat 0 industrial error 0 Unknown
QF_LIA/mathsat/FISCHER6-5-fair.smt unsat 0 industrial unsat 101280 Yes
QF_LIA/mathsat/FISCHER6-6-fair.smt unsat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER6-7-fair.smt unsat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER6-8-fair.smt unsat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER6-9-fair.smt unsat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER7-10-fair.smt unsat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER7-11-fair.smt unsat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER7-12-fair.smt sat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER7-1-fair.smt sat 0 industrial sat 2931 Yes
QF_LIA/mathsat/FISCHER7-2-fair.smt unsat 0 industrial unsat 6320 Yes
QF_LIA/mathsat/FISCHER7-3-fair.smt unsat 0 industrial unsat 15803 Yes
QF_LIA/mathsat/FISCHER7-4-fair.smt unsat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER7-5-fair.smt unsat 0 industrial unsat 303579 Yes
QF_LIA/mathsat/FISCHER7-6-fair.smt unsat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER7-7-fair.smt unsat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER7-8-fair.smt unsat 0 industrial error 0 Unknown
QF_LIA/mathsat/FISCHER7-9-fair.smt unsat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER8-10-fair.smt unsat 0 industrial error 0 Unknown
QF_LIA/mathsat/FISCHER8-11-fair.smt unsat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER8-12-fair.smt unsat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER8-13-fair.smt sat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER8-1-fair.smt sat 0 industrial sat 3101 Yes
QF_LIA/mathsat/FISCHER8-2-fair.smt unsat 0 industrial unsat 7165 Yes
QF_LIA/mathsat/FISCHER8-3-fair.smt unsat 0 industrial unsat 26548 Yes
QF_LIA/mathsat/FISCHER8-4-fair.smt unsat 0 industrial error 0 Unknown
QF_LIA/mathsat/FISCHER8-5-fair.smt unsat 0 industrial unsat 589554 Yes
QF_LIA/mathsat/FISCHER8-6-fair.smt unsat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER8-7-fair.smt unsat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER8-8-fair.smt unsat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER8-9-fair.smt unsat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER9-10-fair.smt unsat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER9-11-fair.smt unsat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER9-12-fair.smt unsat 1 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER9-13-fair.smt unsat 1 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER9-14-fair.smt sat 1 industrial error 0 Unknown
QF_LIA/mathsat/FISCHER9-1-fair.smt sat 0 industrial sat 3417 Yes
QF_LIA/mathsat/FISCHER9-2-fair.smt unsat 0 industrial unsat 10192 Yes
QF_LIA/mathsat/FISCHER9-3-fair.smt unsat 0 industrial unsat 52445 Yes
QF_LIA/mathsat/FISCHER9-4-fair.smt unsat 0 industrial error 0 Unknown
QF_LIA/mathsat/FISCHER9-5-fair.smt unsat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER9-6-fair.smt unsat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER9-7-fair.smt unsat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER9-8-fair.smt unsat 0 industrial timeout infty Unknown
QF_LIA/mathsat/FISCHER9-9-fair.smt unsat 0 industrial timeout infty Unknown
Total: 121
Correct: 55
Incorrect: 0