root
file
detailed [15375..15399]
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/smt6521887696422009578.smt2
(content)
ok
ok
0.118s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6521506752585823107.smt2
(content)
ok
ok
0.082s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6519641862411514652.smt2
(content)
ok
ok
0.077s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6516884764223287338.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt651374883828204785.smt2
(content)
ok
ok
0.086s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6507995615889540375.smt2
(content)
ok
ok
0.109s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6503284769743226809.smt2
(content)
ok
ok
0.124s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6502436354213640132.smt2
(content)
ok
ok
0.091s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6499074675450615932.smt2
(content)
ok
ok
0.114s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt64970327439706991.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6495623820550231435.smt2
(content)
ok
ok
0.118s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6494793641994132116.smt2
(content)
ok
ok
0.079s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6492916960160223379.smt2
(content)
ok
ok
0.156s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6492351450296550617.smt2
(content)
ok
ok
0.089s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt649138484994548672.smt2
(content)
ok
ok
0.083s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6490689093819807526.smt2
(content)
ok
ok
0.122s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6490600079681831057.smt2
(content)
ok
ok
0.122s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6488073481904659698.smt2
(content)
ok
ok
0.120s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6482651532401012098.smt2
(content)
ok
ok
0.077s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6480382153030297379.smt2
(content)
ok
ok
0.098s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6478567207695430123.smt2
(content)
ok
ok
0.075s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6473921499746828424.smt2
(content)
ok
ok
0.079s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6461665378964535620.smt2
(content)
ok
ok
0.090s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt646138442390295389.smt2
(content)
ok
ok
0.088s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt6458810512919238065.smt2
(content)
ok
ok
0.114s