root
file
detailed [13875..13899]
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/smt2691831582932817213.smt2
(content)
ok
ok
0.117s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2691634501768546723.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2689331847761091271.smt2
(content)
ok
ok
0.115s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2689043046447407041.smt2
(content)
ok
ok
0.078s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt268887733793602547.smt2
(content)
ok
ok
0.113s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2688594200630416639.smt2
(content)
ok
ok
0.124s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt26877093617848982.smt2
(content)
ok
ok
0.131s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2686921694760854327.smt2
(content)
ok
ok
0.091s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2685759940628468905.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2685197706843876082.smt2
(content)
ok
ok
0.086s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2680809393027803555.smt2
(content)
ok
ok
0.102s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2678431761727525621.smt2
(content)
ok
ok
0.079s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2677545674976521822.smt2
(content)
ok
ok
0.114s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2675321458931175355.smt2
(content)
ok
ok
0.088s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2675242986386448481.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2669749627349459657.smt2
(content)
ok
ok
0.080s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt266734179039590650.smt2
(content)
ok
ok
0.081s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2667264583198719828.smt2
(content)
ok
ok
0.116s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2665414884097024630.smt2
(content)
ok
ok
0.078s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2662088001740796000.smt2
(content)
ok
ok
0.109s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2661829886826658259.smt2
(content)
ok
ok
0.084s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2656045605463855856.smt2
(content)
ok
ok
0.073s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2655659740674661718.smt2
(content)
ok
ok
0.087s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2655504501027043127.smt2
(content)
ok
ok
0.080s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2652479309494759971.smt2
(content)
ok
ok
0.090s