root
file
detailed [16125..16149]
prev
next
detailed results (330073 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8494184255845500339.smt2
(content)
ok
ok
0.083s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8492991991325718321.smt2
(content)
ok
ok
0.123s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8489297561607306971.smt2
(content)
ok
ok
0.083s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8486293241174360032.smt2
(content)
ok
ok
0.079s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8485752574996462099.smt2
(content)
ok
ok
0.095s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8485538043455214764.smt2
(content)
ok
ok
0.118s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8478527148273126145.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8472853180806395544.smt2
(content)
ok
ok
0.123s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8471778130142574800.smt2
(content)
ok
ok
0.080s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8471254732275803995.smt2
(content)
ok
ok
0.085s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8469316685144620162.smt2
(content)
ok
ok
0.148s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8469194059867665498.smt2
(content)
ok
ok
0.080s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8468032217917886259.smt2
(content)
ok
ok
0.080s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8466284514793256686.smt2
(content)
ok
ok
0.096s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt84651356209501765.smt2
(content)
ok
ok
0.086s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8462157437485023694.smt2
(content)
ok
ok
0.084s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8461506944537887385.smt2
(content)
ok
ok
0.076s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8452421561151970046.smt2
(content)
ok
ok
0.074s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8448225891155768703.smt2
(content)
ok
ok
0.152s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt843708701989948034.smt2
(content)
ok
ok
0.117s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8437008634512054354.smt2
(content)
ok
ok
0.088s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8436420869585491305.smt2
(content)
ok
ok
0.094s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8435675515309755617.smt2
(content)
ok
ok
0.079s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8435487060105814500.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8433153915388134342.smt2
(content)
ok
ok
0.079s