detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/add_01_10_2.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/add_01_10_1.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/add_01_100_4.smt2 (content) ok ok 0.020s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/add_01_100_3.smt2 (content) ok ok 0.055s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/add_01_100_2.smt2 (content) ok ok 0.056s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/add_01_100_1.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/add_01_1000_4.smt2 (content) ok ok 0.021s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/add_01_1000_3.smt2 (content) ok ok 0.058s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/add_01_1000_2.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/add_01_1000_1.smt2 (content) ok ok 0.056s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/20170501-Heizmann-UltimateAutomizer/water_pid_true-unreach-call.c_14.smt2 (content) ok ok 0.021s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/20170501-Heizmann-UltimateAutomizer/Newlib-BadKrozingenChallenge-Oversimplified.smt2 (content) ok ok 0.028s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/wienand-cav2008/Distrib/distrib64.sf.smt2 (content) ok ok 0.028s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/wienand-cav2008/Distrib/distrib48.sf.smt2 (content) ok ok 0.029s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/wienand-cav2008/Distrib/distrib32.sf.smt2 (content) ok ok 0.028s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/wienand-cav2008/Distrib/distrib16.sf.smt2 (content) ok ok 0.030s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/wienand-cav2008/Distrib/distrib08.sf.smt2 (content) ok ok 0.030s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/wienand-cav2008/Distrib/distrib04.sf.smt2 (content) ok ok 0.030s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/wienand-cav2008/Commute/commute64.sf.smt2 (content) ok ok 0.029s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/wienand-cav2008/Commute/commute48.sf.smt2 (content) ok ok 0.028s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/wienand-cav2008/Commute/commute32.sf.smt2 (content) ok ok 0.028s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/wienand-cav2008/Commute/commute16.sf.smt2 (content) ok ok 0.028s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/wienand-cav2008/Commute/commute08.sf.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/wienand-cav2008/Commute/commute04.sf.smt2 (content) ok ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/wienand-cav2008/Booth/mult_ub_8x8_1.sf.smt2 (content) ok ok 0.153s