root
file
detailed [34550..34574]
prev
next
detailed results (92284 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v3_r8_vr5_c1_s8257.smt2
(content)
ok
ok
0.065s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v3_r8_vr5_c1_s1507.smt2
(content)
ok
ok
0.024s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v3_r8_vr5_c1_s10746.smt2
(content)
ok
ok
0.026s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v3_r8_vr1_c1_s733.smt2
(content)
ok
ok
0.036s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v3_r8_vr1_c1_s23752.smt2
(content)
ok
ok
0.025s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v3_r8_vr1_c1_s20372.smt2
(content)
ok
ok
0.029s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v3_r8_vr10_c1_s5590.smt2
(content)
ok
ok
0.026s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v3_r8_vr10_c1_s4660.smt2
(content)
ok
ok
0.025s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v3_r8_vr10_c1_s18214.smt2
(content)
ok
ok
0.024s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v3_r3_vr5_c1_s26769.smt2
(content)
ok
ok
0.044s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v3_r3_vr5_c1_s16867.smt2
(content)
ok
ok
0.048s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v3_r3_vr5_c1_s16641.smt2
(content)
ok
ok
0.025s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v3_r3_vr1_c1_s6731.smt2
(content)
ok
ok
0.022s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v3_r3_vr1_c1_s5578.smt2
(content)
ok
ok
0.018s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v3_r3_vr1_c1_s10392.smt2
(content)
ok
ok
0.051s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v3_r3_vr10_c1_s29304.smt2
(content)
ok
ok
0.017s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v3_r3_vr10_c1_s24300.smt2
(content)
ok
ok
0.017s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/test_v3_r3_vr10_c1_s14052.smt2
(content)
ok
ok
0.016s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/square_and_power_inverse.smt2
(content)
ok
ok
0.023s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/square.smt2
(content)
ok
ok
0.019s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/square.8.0.i.smt2
(content)
ok
ok
0.021s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/square.7.0.i.smt2
(content)
ok
ok
0.020s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/square.6.0.i.smt2
(content)
ok
ok
0.047s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/square.5.0.i.smt2
(content)
ok
ok
0.015s
dolmen
/home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/square.4.0.i.smt2
(content)
ok
ok
0.016s