Status Difficulty Category Output Time/ms Correct?
QF_IDL/sal/bakery/inf-bakery-invalid-10.smt sat 0 industrial sat 10201 Yes
QF_IDL/sal/bakery/inf-bakery-invalid-1.smt unsat 0 industrial unsat 1652 Yes
QF_IDL/sal/bakery/inf-bakery-invalid-2.smt unsat 0 industrial unsat 2908 Yes
QF_IDL/sal/bakery/inf-bakery-invalid-3.smt sat 0 industrial sat 3656 Yes
QF_IDL/sal/bakery/inf-bakery-invalid-4.smt sat 0 industrial sat 6411 Yes
QF_IDL/sal/bakery/inf-bakery-invalid-5.smt sat 0 industrial sat 5932 Yes
QF_IDL/sal/bakery/inf-bakery-invalid-6.smt sat 0 industrial sat 6487 Yes
QF_IDL/sal/bakery/inf-bakery-invalid-7.smt sat 0 industrial sat 12305 Yes
QF_IDL/sal/bakery/inf-bakery-invalid-8.smt sat 0 industrial sat 7338 Yes
QF_IDL/sal/bakery/inf-bakery-invalid-9.smt sat 0 industrial sat 9719 Yes
QF_IDL/sal/bakery/inf-bakery-mutex-10.smt unsat 0 industrial unsat 285762 Yes
QF_IDL/sal/bakery/inf-bakery-mutex-11.smt unsat 0 industrial unsat 678576 Yes
QF_IDL/sal/bakery/inf-bakery-mutex-12.smt unsat 0 industrial unsat 649068 Yes
QF_IDL/sal/bakery/inf-bakery-mutex-13.smt unsat 0 industrial timeout infty Unknown
QF_IDL/sal/bakery/inf-bakery-mutex-14.smt unsat 0 industrial timeout infty Unknown
QF_IDL/sal/bakery/inf-bakery-mutex-15.smt unsat 0 industrial timeout infty Unknown
QF_IDL/sal/bakery/inf-bakery-mutex-16.smt unsat 0 industrial timeout infty Unknown
QF_IDL/sal/bakery/inf-bakery-mutex-17.smt unsat 0 industrial timeout infty Unknown
QF_IDL/sal/bakery/inf-bakery-mutex-18.smt unsat 0 industrial timeout infty Unknown
QF_IDL/sal/bakery/inf-bakery-mutex-19.smt unsat 0 industrial timeout infty Unknown
QF_IDL/sal/bakery/inf-bakery-mutex-1.smt unsat 0 industrial unsat 1685 Yes
QF_IDL/sal/bakery/inf-bakery-mutex-20.smt unsat 0 industrial timeout infty Unknown
QF_IDL/sal/bakery/inf-bakery-mutex-2.smt unsat 0 industrial unsat 2913 Yes
QF_IDL/sal/bakery/inf-bakery-mutex-3.smt unsat 0 industrial unsat 4130 Yes
QF_IDL/sal/bakery/inf-bakery-mutex-4.smt unsat 0 industrial unsat 6735 Yes
QF_IDL/sal/bakery/inf-bakery-mutex-5.smt unsat 0 industrial unsat 9725 Yes
QF_IDL/sal/bakery/inf-bakery-mutex-6.smt unsat 0 industrial unsat 15279 Yes
QF_IDL/sal/bakery/inf-bakery-mutex-7.smt unsat 0 industrial unsat 40315 Yes
QF_IDL/sal/bakery/inf-bakery-mutex-8.smt unsat 0 industrial unsat 57995 Yes
QF_IDL/sal/bakery/inf-bakery-mutex-9.smt unsat 0 industrial unsat 147923 Yes
QF_IDL/sal/lpsat/lpsat-goal-10.smt unsat 0 industrial timeout infty Unknown
QF_IDL/sal/lpsat/lpsat-goal-11.smt unsat 0 industrial timeout infty Unknown
QF_IDL/sal/lpsat/lpsat-goal-12.smt unsat 0 industrial timeout infty Unknown
QF_IDL/sal/lpsat/lpsat-goal-13.smt unsat 0 industrial timeout infty Unknown
QF_IDL/sal/lpsat/lpsat-goal-14.smt unsat 0 industrial timeout infty Unknown
QF_IDL/sal/lpsat/lpsat-goal-15.smt unsat 0 industrial timeout infty Unknown
QF_IDL/sal/lpsat/lpsat-goal-16.smt unsat 0 industrial timeout infty Unknown
QF_IDL/sal/lpsat/lpsat-goal-17.smt unsat 0 industrial timeout infty Unknown
QF_IDL/sal/lpsat/lpsat-goal-18.smt unsat 0 industrial timeout infty Unknown
QF_IDL/sal/lpsat/lpsat-goal-19.smt sat 0 industrial timeout infty Unknown
QF_IDL/sal/lpsat/lpsat-goal-1.smt unsat 0 industrial unsat 4313 Yes
QF_IDL/sal/lpsat/lpsat-goal-20.smt sat 1 industrial timeout infty Unknown
QF_IDL/sal/lpsat/lpsat-goal-2.smt unsat 0 industrial unsat 8495 Yes
QF_IDL/sal/lpsat/lpsat-goal-3.smt unsat 0 industrial unsat 34955 Yes
QF_IDL/sal/lpsat/lpsat-goal-4.smt unsat 0 industrial unsat 122093 Yes
QF_IDL/sal/lpsat/lpsat-goal-5.smt unsat 0 industrial unsat 837689 Yes
QF_IDL/sal/lpsat/lpsat-goal-6.smt unsat 0 industrial timeout infty Unknown
QF_IDL/sal/lpsat/lpsat-goal-7.smt unsat 0 industrial timeout infty Unknown
QF_IDL/sal/lpsat/lpsat-goal-8.smt unsat 0 industrial timeout infty Unknown
QF_IDL/sal/lpsat/lpsat-goal-9.smt unsat 0 industrial timeout infty Unknown
Total: 50
Correct: 27
Incorrect: 0