detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/exp_loop_true-unreach-call.c_1310.smt2 (content) fatal ok 0.015s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/exp_loop_true-unreach-call.c_1294.smt2 (content) fatal ok 0.038s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/exp_loop_true-unreach-call.c_1289.smt2 (content) fatal ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/FP/20170501-Heizmann-UltimateAutomizer/exp_loop_true-unreach-call.c_1288.smt2 (content) fatal ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/why/smtlibfe2816.smt2 (content) warn ok 0.124s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/why/smtlibfc99e2.smt2 (content) warn ok 0.123s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/why/smtlibf3ad77.smt2 (content) warn ok 0.078s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/why/smtlibf37c88.smt2 (content) warn ok 0.082s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/why/smtlibdff996.smt2 (content) warn ok 0.085s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/why/smtlibdba7a4.smt2 (content) warn ok 0.083s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/why/smtlibd85203.smt2 (content) warn ok 0.095s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/why/smtlibce35b2.smt2 (content) warn ok 0.081s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/why/smtlibb47bdc.smt2 (content) warn ok 0.076s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/why/smtlib8e6000.smt2 (content) warn ok 0.082s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/why/smtlib7a3a8e.smt2 (content) warn ok 0.083s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/why/smtlib5966a0.smt2 (content) warn ok 0.099s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/why/smtlib14c92b.smt2 (content) warn ok 0.081s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/vc_normalize_subst/thruster_symm_0001.fof.smt2 (content) warn ok 0.243s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/vc_normalize_subst/quaternion_ds1_symm_0011.fof.smt2 (content) ok ok 0.046s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/vc_normalize_subst/quaternion_ds1_symm_0001.fof.smt2 (content) ok ok 0.072s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/vc_normalize_subst/cl5_nebula_norm_0039.fof.smt2 (content) ok ok 0.026s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/vc_normalize_subst/cl5_nebula_norm_0038.fof.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/vc_normalize_subst/cl5_nebula_norm_0037.fof.smt2 (content) ok ok 0.040s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/vc_normalize_subst/cl5_nebula_norm_0036.fof.smt2 (content) ok ok 0.070s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/nasa/vc_normalize_subst/cl5_nebula_norm_0032.fof.smt2 (content) ok ok 0.066s