detailed results (7457 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_elevator.2.prop1_ab_cti_max.smt2 (content) sat sat 0.065s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_elevator.1.prop1_ab_reg_max.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_elevator.1.prop1_ab_cti_max.smt2 (content) sat sat 0.104s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_dyn_partition_ab_reg_max.smt2 (content) sat sat 0.012s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_driving_phils.5.prop1_ab_reg_max.smt2 (content) sat sat 0.027s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_driving_phils.4.prop1_ab_reg_max.smt2 (content) sat sat 0.032s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_driving_phils.3.prop1_ab_reg_max.smt2 (content) sat sat 0.024s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_driving_phils.2.prop1_ab_reg_max.smt2 (content) sat sat 0.022s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_driving_phils.1.prop1_ab_reg_max.smt2 (content) sat sat 0.020s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_diagonal_v_ab_reg_max.smt2 (content) sat sat 0.025s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_diagonal_v_ab_cti_max.smt2 (content) sat sat 0.050s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_diagonal_ab_reg_max.smt2 (content) sat sat 0.022s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_diagonal_ab_cti_max.smt2 (content) sat sat 0.020s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_cyclic_scheduler.4.prop1_ab_reg_max.smt2 (content) unsat unsat 0.015s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_cyclic_scheduler.4.prop1_ab_cti_max.smt2 (content) sat sat 0.162s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_cyclic_scheduler.3.prop1_ab_reg_max.smt2 (content) unsat unsat 0.020s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_cyclic_scheduler.3.prop1_ab_cti_max.smt2 (content) sat sat 0.256s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_cyclic_scheduler.2.prop1_ab_reg_max.smt2 (content) unsat unsat 0.063s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_cyclic_scheduler.2.prop1_ab_cti_max.smt2 (content) sat sat 0.076s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_cyclic_scheduler.1.prop1_ab_reg_max.smt2 (content) unsat unsat 0.016s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_counter_v_ab_reg_max.smt2 (content) unsat unsat 0.066s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_counter_v_ab_fp_max.smt2 (content) sat sat 0.023s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_counter_v_ab_cti_max.smt2 (content) sat sat 0.023s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_counter_ab_reg_max.smt2 (content) sat sat 0.021s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_counter_ab_cti_max.smt2 (content) sat sat 0.016s