detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_sw_ball2001_ab_cti_max.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_sokoban.3.prop1_ab_reg_max.smt2 (content) timeout sat 14.9s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_sokoban.3.prop1_ab_reg_max.smt2 (content) sat sat 0.927s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_sokoban.3.prop1_ab_br_max.smt2 (content) timeout unsat 16.6s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_sokoban.3.prop1_ab_br_max.smt2 (content) unsat unsat 2.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_sokoban.2.prop1_ab_fp_max.smt2 (content) sat sat 2.4s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_sokoban.2.prop1_ab_fp_max.smt2 (content) sat sat 0.136s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_sokoban.2.prop1_ab_cti_max.smt2 (content) timeout sat 13.2s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_sokoban.2.prop1_ab_cti_max.smt2 (content) sat sat 0.149s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_sokoban.2.prop1_ab_br_max.smt2 (content) timeout unsat 14.0s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_sokoban.2.prop1_ab_br_max.smt2 (content) unsat unsat 0.480s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_sokoban.1.prop1_ab_reg_max.smt2 (content) unsat unsat 0.263s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_sokoban.1.prop1_ab_reg_max.smt2 (content) unsat unsat 0.109s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_sokoban.1.prop1_ab_cti_max.smt2 (content) unknown sat 10.6s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_sokoban.1.prop1_ab_cti_max.smt2 (content) sat sat 0.119s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_sokoban.1.prop1_ab_br_max.smt2 (content) timeout sat 13.7s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_sokoban.1.prop1_ab_br_max.smt2 (content) sat sat 0.151s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_seq_ab_cti_max.smt2 (content) sat sat 0.023s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_seq_ab_cti_max.smt2 (content) sat sat 0.039s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_sdlx_ab_reg_max.smt2 (content) sat sat 0.026s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_sdlx_ab_reg_max.smt2 (content) sat sat 0.040s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_sdlx_ab_fp_max.smt2 (content) sat sat 0.070s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_sdlx_ab_fp_max.smt2 (content) sat sat 0.065s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_sdlx_ab_cti_max.smt2 (content) sat sat 0.095s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_sdlx_ab_cti_max.smt2 (content) sat sat 0.048s