detailed results (92284 total)

prover file res expected time
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_ALIA/qlock2/qlock.induction.9.smt2 (content) ok ok 0.030s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.induction.8.smt2 (content) ok ok 0.077s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.induction.7.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.induction.6.smt2 (content) ok ok 0.022s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.induction.5.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.induction.30.smt2 (content) ok ok 0.105s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.induction.29.smt2 (content) ok ok 0.088s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.induction.28.smt2 (content) ok ok 0.126s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.induction.27.smt2 (content) ok ok 0.118s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.induction.26.smt2 (content) ok ok 0.070s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.induction.25.smt2 (content) ok ok 0.116s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.induction.24.smt2 (content) ok ok 0.113s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.induction.23.smt2 (content) ok ok 0.062s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.induction.22.smt2 (content) ok ok 0.061s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.induction.21.smt2 (content) ok ok 0.077s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.induction.20.smt2 (content) ok ok 0.107s