detailed results (3730 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_lamport.3.prop1_ab_reg_max.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_itc99_b13_ab_cti_max.smt2 (content) unsat unsat 0.140s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_itc99_b12_ab_br_max.smt2 (content) unsat unsat 1.2s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_iprotocol.7.prop1_ab_reg_max.smt2 (content) unsat unsat 0.085s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_iprotocol.6.prop1_ab_reg_max.smt2 (content) unsat unsat 0.036s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_iprotocol.5.prop1_ab_reg_max.smt2 (content) unsat unsat 0.402s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_iprotocol.4.prop1_ab_reg_max.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_iprotocol.3.prop1_ab_reg_max.smt2 (content) unsat unsat 0.013s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_iprotocol.2.prop1_ab_reg_max.smt2 (content) unsat unsat 0.074s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_iprotocol.1.prop1_ab_reg_max.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.2.prop1_ab_br_max.smt2 (content) unsat unsat 5.3s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_traffic_light_example_ab_reg_max.smt2 (content) unsat unsat 0.010s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_traffic_light_example_ab_cti_max.smt2 (content) unsat unsat 0.051s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_segments_ab_reg_max.smt2 (content) unsat unsat 0.017s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_b08_ab_reg_max.smt2 (content) unsat unsat 0.126s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_b08_ab_cti_max.smt2 (content) unsat unsat 0.041s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_b05_ab_reg_max.smt2 (content) unsat unsat 0.064s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_b04_ab_reg_max.smt2 (content) unsat unsat 0.051s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_b04_ab_cti_max.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_b02_ab_reg_max.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_Vlunc_ab_cti_max.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_TreeArb_ab_reg_max.smt2 (content) unsat unsat 0.353s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_TreeArb_ab_br_max.smt2 (content) unsat unsat 0.107s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_TicTacToe_ab_reg_max.smt2 (content) unsat unsat 0.110s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_Spinner_ab_reg_max.smt2 (content) unsat unsat 0.026s