detailed results (3047 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.1.prop2_ab_cti_max.smt2 (content) sat sat 0.464s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.1.prop1_ab_reg_max.smt2 (content) sat sat 0.806s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_peterson.7.prop1_ab_reg_max.smt2 (content) sat sat 0.022s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_peterson.7.prop1_ab_cti_max.smt2 (content) sat sat 0.105s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_peterson.6.prop1_ab_reg_max.smt2 (content) sat sat 0.019s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_peterson.6.prop1_ab_cti_max.smt2 (content) sat sat 0.096s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_peterson.5.prop1_ab_reg_max.smt2 (content) sat sat 0.022s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_peterson.5.prop1_ab_cti_max.smt2 (content) sat sat 0.088s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_peterson.4.prop1_ab_reg_max.smt2 (content) sat sat 0.019s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_peterson.4.prop1_ab_cti_max.smt2 (content) sat sat 0.114s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_peterson.3.prop1_ab_reg_max.smt2 (content) sat sat 0.015s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_peterson.3.prop1_ab_cti_max.smt2 (content) sat sat 0.069s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_peterson.2.prop1_ab_reg_max.smt2 (content) sat sat 0.018s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_peterson.1.prop1_ab_cti_max.smt2 (content) sat sat 0.084s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_peg_solitaire.6.prop1_ab_reg_max.smt2 (content) sat sat 0.581s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_peg_solitaire.6.prop1_ab_fp_max.smt2 (content) sat sat 2.3s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_peg_solitaire.6.prop1_ab_cti_max.smt2 (content) sat sat 0.285s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_peg_solitaire.5.prop1_ab_reg_max.smt2 (content) sat sat 1.6s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_peg_solitaire.4.prop1_ab_reg_max.smt2 (content) sat sat 0.199s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_peg_solitaire.4.prop1_ab_br_max.smt2 (content) sat sat 2.2s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_peg_solitaire.3.prop1_ab_reg_max.smt2 (content) sat sat 2.6s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_peg_solitaire.3.prop1_ab_fp_max.smt2 (content) sat sat 7.7s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_peg_solitaire.2.prop1_ab_reg_max.smt2 (content) sat sat 1.5s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_peg_solitaire.2.prop1_ab_fp_max.smt2 (content) sat sat 1.2s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_peg_solitaire.2.prop1_ab_cti_max.smt2 (content) sat sat 0.831s