detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/2018-Goel-hwbench/QF_BV_bv8_bv_eq_sdp_v7_cc_ref_max.smt2 (content) ok ok 0.133s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/2018-Goel-hwbench/QF_BV_bv8_bv_eq_sdp_v6_cc_reg_max.smt2 (content) ok ok 0.066s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/2018-Goel-hwbench/QF_BV_bv8_bv_eq_sdp_v3_cc_ref_max.smt2 (content) ok ok 0.052s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/2018-Goel-hwbench/QF_BV_bv8_bv_cyclic_scheduler.4.prop1_cc_ref_max.smt2 (content) ok ok 0.719s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/2018-Goel-hwbench/QF_BV_bv8_bv_cyclic_scheduler.2.prop1_cc_ref_max.smt2 (content) ok ok 0.298s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/20170531-Hansen-Check/division_by_zero1.smt2 (content) ok ok 0.014s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/20170531-Hansen-Check/division_by_zero0.smt2 (content) ok ok 0.030s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/20170531-Hansen-Check/division_by_zero.smt2 (content) ok ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/20170501-Heizmann-UltimateAutomizer/modulus_true-unreach-call_true-no-overflow.i_242.smt2 (content) ok ok 0.026s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/2017-BuchwaldFried/synthesis.dump.ia32_RorMem_base_index_scale_disp2--Add32.Add32.Add32.load32.Minus32.Or32.Shr32.store32.am_shl32.0001.smt2 (content) ok ok 0.832s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/2017-BuchwaldFried/synthesis.dump.ia32_RorMem_base_index_scale_disp2--Add32.Add32.Add32.Add32.load32.Shl32.Shr32.store32.am_shl32.0001.smt2 (content) ok ok 0.519s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/2017-BuchwaldFried/synthesis.dump.ia32_RorMem_base_index_scale_disp2--Add32.Add32.Add32.Add32.load32.Or32.Or32.store32.am_shl32.0001.smt2 (content) ok ok 0.668s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/2017-BuchwaldFried/counterexample.dump.ia32_Mul_base_disp--Add32.load32.Mul32.Mulh_u32.0005.smt2 (content) ok ok 0.068s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_t3_np_sf_ai_00010_009.cvc.smt2 (content) fatal ok 0.022s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_t3_np_sf_ai_00010_008.cvc.smt2 (content) fatal ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_t3_np_sf_ai_00010_007.cvc.smt2 (content) fatal ok 0.030s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_t3_np_sf_ai_00010_002.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_t3_np_sf_ai_00009_009.cvc.smt2 (content) fatal ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_t3_np_sf_ai_00009_004.cvc.smt2 (content) fatal ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_t3_np_sf_ai_00008_009.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_t3_np_sf_ai_00008_008.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_t3_np_sf_ai_00008_007.cvc.smt2 (content) fatal ok 0.030s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_t3_np_sf_ai_00008_001.cvc.smt2 (content) fatal ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_t3_np_sf_ai_00007_008.cvc.smt2 (content) fatal ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_AX/swap/swap_t3_np_sf_ai_00006_005.cvc.smt2 (content) fatal ok 0.039s