Benchmark 2026-05-17_22-44-30

ChampValeur
Date2026-05-17_22-44-30
Répertoire/home/delahayed/problems/casc/casc-30-2025/Problems/FOF
Home/home/delahaye/ip/bench/problems/casc/casc-30-2025/Problems/FOF
Logs/home/delahayed/benchs-ip/logs
Time limit240
Robust time limittrue
Size limit
Max clauses
Modeordered-fallback
CASCcasc-30-2025_fof
Only iptrue
Version ipf124c43

Résultats

ProblèmeStatus attenduRatingip
FEQ/AGT005+1.pUnknownTimeout
240.164s
FEQ/AGT011+2.pUnknownTimeout
240.309s
FEQ/AGT013+1.pUnknownTimeout
240.044s
FEQ/AGT013+2.pUnknownTimeout
240.033s
FEQ/AGT023+2.pUnknownTimeout
240.033s
FEQ/ALG049+1.pUnknownTimeout
244.491s
FEQ/ALG102+1.pUnknownError
5.643s
FEQ/ALG104+1.pUnknownError
5.489s
FEQ/ALG107+1.pUnknownTimeout
240.098s
FEQ/ALG127+1.pUnknownError
5.175s
FEQ/ALG210+2.pUnknownTimeout
240.119s
FEQ/ALG215+2.pUnknownTimeout
241.932s
FEQ/ALG215+4.pUnknownError
18.124s
FEQ/ALG216+4.pUnknownError
8.168s
FEQ/BIO005+1.pUnknownError
0.075s
FEQ/BIO006+1.pUnknownError
0.013s
FEQ/CAT034+2.pUnknownTimeout
240.461s
FEQ/COM125+1.pUnknownTimeout
240.475s
FEQ/COM126+1.pUnknownTimeout
240.446s
FEQ/COM127+1.pUnknownTimeout
240.449s
FEQ/COM130+1.pUnknownTimeout
240.446s
FEQ/COM131+1.pUnknownTimeout
240.509s
FEQ/COM133+1.pUnknownTimeout
240.450s
FEQ/COM135+1.pUnknownTimeout
240.447s
FEQ/COM141+1.pUnknownTimeout
240.456s
FEQ/COM142+1.pUnknownTimeout
240.457s
FEQ/COM143+1.pUnknownTimeout
240.451s
FEQ/COM149+1.pUnknownTimeout
240.475s
FEQ/CSR003+1.pUnknownTimeout
240.118s
FEQ/CSR006+1.pUnknownTimeout
240.031s
FEQ/CSR015+1.pUnknownTimeout
240.063s
FEQ/CSR037+5.pUnknownTimeout
242.100s
FEQ/CSR040+4.pUnknownTimeout
240.312s
FEQ/CSR047+4.pUnknownTimeout
240.185s
FEQ/CSR047+5.pUnknownTimeout
241.902s
FEQ/CSR052+4.pUnknownTimeout
240.179s
FEQ/CSR058+4.pUnknownTimeout
240.169s
FEQ/CSR069+4.pUnknownTimeout
240.172s
FEQ/CSR117+1.pUnknownTimeout
240.020s
FEQ/CSR170+1.pUnknownError
111.662s
FEQ/CSR201+1.pUnknownError
89.689s
FEQ/CSR210+1.pUnknownError
32.376s
FEQ/CSR218+1.pUnknownError
51.926s
FEQ/CSR219+1.pUnknownError
38.017s
FEQ/CSR228+1.pUnknownError
85.567s
FEQ/CSR248+1.pUnknownError
166.417s
FEQ/GEO084+1.pUnknownTimeout
240.108s
FEQ/GEO087+1.pUnknownUnsatisfiable
0.031s
FEQ/GEO088+1.pUnknownTimeout
240.012s
FEQ/GEO089+1.pUnknownTimeout
240.017s
FEQ/GEO109+1.pUnknownTimeout
240.055s
FEQ/GEO111+1.pUnknownTimeout
240.014s
FEQ/GEO125+1.pUnknownTimeout
240.070s
FEQ/GEO126+1.pUnknownTimeout
240.015s
FEQ/GEO127+1.pUnknownTimeout
240.072s
FEQ/GEO137+1.pUnknownTimeout
240.015s
FEQ/GEO169+2.pUnknownTimeout
240.020s
FEQ/GEO271+1.pUnknownTimeout
240.026s
FEQ/GEO274+1.pUnknownTimeout
240.026s
FEQ/GEO277+1.pUnknownTimeout
240.031s
FEQ/GEO278+1.pUnknownTimeout
240.054s
FEQ/GEO281+1.pUnknownTimeout
240.041s
FEQ/GEO282+1.pUnknownTimeout
240.031s
FEQ/GEO288+1.pUnknownTimeout
240.098s
FEQ/GEO290+1.pUnknownTimeout
240.032s
FEQ/GEO292+1.pUnknownTimeout
240.038s
FEQ/GEO293+1.pUnknownTimeout
240.028s
FEQ/GEO295+1.pUnknownTimeout
240.045s
FEQ/GEO298+1.pUnknownTimeout
240.031s
FEQ/GEO299+1.pUnknownTimeout
240.028s
FEQ/GEO300+1.pUnknownTimeout
240.038s
FEQ/GEO310+1.pUnknownTimeout
240.039s
FEQ/GEO311+1.pUnknownTimeout
240.030s
FEQ/GEO317+1.pUnknownTimeout
240.049s
FEQ/GEO319+1.pUnknownTimeout
240.031s
FEQ/GEO321+1.pUnknownTimeout
240.080s
FEQ/GEO323+1.pUnknownTimeout
240.081s
FEQ/GEO325+1.pUnknownTimeout
240.175s
FEQ/GEO331+1.pUnknownTimeout
240.071s
FEQ/GEO337+1.pUnknownTimeout
240.035s
FEQ/GEO340+1.pUnknownTimeout
240.049s
FEQ/GEO345+1.pUnknownTimeout
240.043s
FEQ/GEO350+1.pUnknownTimeout
240.061s
FEQ/GEO442+1.pUnknownError
21.545s
FEQ/GEO445+1.pUnknownError
360.340s
FEQ/GEO452+1.pUnknownError
359.764s
FEQ/GEO475+1.pUnknownError
146.031s
FEQ/GEO491+1.pUnknownTimeout
240.242s
FEQ/GEO495+1.pUnknownTimeout
240.030s
FEQ/GEO499+1.pUnknownTimeout
240.036s
FEQ/GEO500+1.pUnknownTimeout
240.046s
FEQ/GEO504+1.pUnknownTimeout
240.044s
FEQ/GEO507+1.pUnknownTimeout
240.217s
FEQ/GEO513+1.pUnknownTimeout
240.065s
FEQ/GEO514+1.pUnknownTimeout
240.054s
FEQ/GEO520+1.pUnknownTimeout
240.044s
FEQ/GEO524+1.pUnknownTimeout
240.051s
FEQ/GEO527+1.pUnknownTimeout
240.070s
FEQ/GEO532+1.pUnknownTimeout
240.051s
FEQ/GEO559+1.pUnknownTimeout
240.556s
FEQ/GEO593+1.pUnknownTimeout
240.038s
FEQ/GEO605+1.pUnknownTimeout
240.086s
FEQ/GEO610+1.pUnknownTimeout
240.067s
FEQ/GEO625+1.pUnknownTimeout
240.089s
FEQ/GEO641+1.pUnknownTimeout
240.040s
FEQ/GRA002+2.pUnknownUnsatisfiable
0.448s
FEQ/GRA007+2.pUnknownUnsatisfiable
2.588s
FEQ/GRA009+1.pUnknownUnsatisfiable
0.141s
FEQ/GRP622+2.pUnknownError
44.027s
FEQ/GRP664+1.pUnknownTimeout
240.008s
FEQ/GRP666+6.pUnknownTimeout
240.049s
FEQ/GRP776+1.pUnknownError
41.735s
FEQ/HAL001+1.pUnknownTimeout
240.074s
FEQ/HAL006+1.pUnknownTimeout
240.067s
FEQ/HWV090+1.pUnknownError
6.656s
FEQ/HWV107+1.pUnknownError
16.234s
FEQ/HWV128+1.pTheorem0.97 v7.1.0Error
16.963s
FEQ/ITP002+5.pUnknownError
47.284s
FEQ/ITP003+1.pUnknownTimeout
240.013s
FEQ/ITP003+2.pUnknownTimeout
240.068s
FEQ/ITP004+2.pUnknownTimeout
240.037s
FEQ/ITP004+4.pUnknownTimeout
241.636s
FEQ/ITP004+5.pUnknownError
46.697s
FEQ/ITP005+5.pUnknownError
49.036s
FEQ/ITP006+1.pUnknownTimeout
240.014s
FEQ/ITP009+1.pUnknownTimeout
240.069s
FEQ/ITP012+4.pUnknownError
16.034s
FEQ/ITP013+1.pUnknownTimeout
240.071s
FEQ/ITP015+4.pUnknownError
17.120s
FEQ/ITP015+5.pUnknownError
13.010s
FEQ/ITP019+5.pUnknownError
11.293s
FEQ/ITP021+1.pUnknownUnsatisfiable
0.329s
FEQ/ITP023+4.pUnknownError
14.259s
FEQ/KLE011+1.pUnknownError
41.819s
FEQ/KLE071+1.pUnknownTimeout
240.066s
FEQ/KLE113+1.pUnknownTimeout
240.159s
FEQ/KLE132+1.pUnknownTimeout
240.078s
FEQ/KLE170+1.002.pUnknownTimeout
240.047s
FEQ/KRS133+1.pUnknownError
5.097s
FEQ/LAT350+1.pUnknownTimeout
240.302s
FEQ/LAT374+3.pUnknownError
19.988s
FEQ/LAT378+3.pUnknownError
9.491s
FEQ/LCL448+1.pUnknownTimeout
240.135s
FEQ/LCL458+1.pUnknownError
41.745s
FEQ/LCL467+1.pUnknownTimeout
240.080s
FEQ/LCL479+1.pUnknownTimeout
240.056s
FEQ/LCL518+1.pUnknownTimeout
240.149s
FEQ/LCL524+1.pUnknownError
41.791s
FEQ/LCL537+1.pUnknownError
41.595s
FEQ/LCL547+1.pUnknownError
41.654s
FEQ/LCL550+1.pUnknownError
36.366s
FEQ/LCL552+1.pUnknownTimeout
240.177s
FEQ/LCL559+1.pUnknownTimeout
240.090s
FEQ/LCL561+1.pUnknownTimeout
240.072s
FEQ/LCL888+1.pUnknownTimeout
240.052s
FEQ/LCL889+1.pUnknownTimeout
240.043s
FEQ/LCL894+1.pUnknownTimeout
240.038s
FEQ/LCL895+1.pUnknownTimeout
240.027s
FEQ/LCL896+1.pUnknownTimeout
240.033s
FEQ/LCL898+1.pUnknownTimeout
240.142s
FEQ/LCL901+1.pUnknownTimeout
240.073s
FEQ/MGT039+2.pUnknownTimeout
240.043s
FEQ/MGT054+1.pUnknownUnsatisfiable
0.144s
FEQ/MGT061+1.pUnknownUnsatisfiable
0.075s
FEQ/MSC010+1.pUnknownError
5.557s
FEQ/NUM293+1.pUnknownUnsatisfiable
0.446s
FEQ/NUM314+1.pUnknownTimeout
240.042s
FEQ/NUM317+1.pUnknownTimeout
240.106s
FEQ/NUM325+1.pUnknownTimeout
240.040s
FEQ/NUM337+1.pUnknownTimeout
240.043s
FEQ/NUM479+2.pUnknownTimeout
240.028s
FEQ/NUM481+1.pUnknownTimeout
240.024s
FEQ/NUM587+1.pUnknownUnsatisfiable
39.891s
FEQ/NUM656+4.pUnknownTimeout
240.012s
FEQ/NUM658+4.pUnknownTimeout
240.021s
FEQ/NUM659+4.pUnknownError
37.594s
FEQ/NUM671+4.pUnknownTimeout
240.012s
FEQ/NUM672+4.pUnknownTimeout
240.066s
FEQ/NUM695+4.pUnknownTimeout
240.022s
FEQ/NUM701+4.pUnknownTimeout
240.023s
FEQ/NUM703+4.pUnknownTimeout
240.034s
FEQ/NUM708+4.pUnknownTimeout
240.053s
FEQ/NUM736+4.pUnknownTimeout
240.075s
FEQ/NUM782+4.pUnknownTimeout
240.121s
FEQ/NUM783+4.pUnknownTimeout
240.047s
FEQ/NUM785+4.pUnknownError
47.034s
FEQ/NUM787+4.pUnknownError
127.002s
FEQ/NUM788+4.pUnknownTimeout
240.651s
FEQ/NUM789+4.pUnknownTimeout
240.075s
FEQ/NUM790+4.pUnknownTimeout
240.027s
FEQ/NUM791+4.pUnknownError
42.373s
FEQ/NUM835+1.pUnknownTimeout
240.007s
FEQ/NUM839+2.pUnknownTimeout
240.091s
FEQ/NUM841+2.pUnknownTimeout
240.020s
FEQ/NUM852+1.pUnknownTimeout
240.024s
FEQ/NUM853+2.pUnknownTimeout
240.030s
FEQ/NUM856+1.pUnknownTimeout
240.012s
FEQ/NUM858+1.pUnknownTimeout
240.026s
FEQ/NUM862+1.pUnknownTimeout
240.020s
FEQ/NUM924+7.pUnknownTimeout
240.067s
FEQ/NUM925+3.pUnknownError
41.429s
FEQ/NUM925+7.pUnknownTimeout
240.034s
FEQ/NUM926+2.pUnknownTimeout
240.050s
FEQ/NUM926+4.pUnknownTimeout
240.189s
FEQ/NUM926+7.pUnknownError
110.481s
FEQ/NUN058+2.pUnknownTimeout
240.287s
FEQ/NUN075+2.pUnknownTimeout
240.019s
FEQ/NUN086+2.pUnknownTimeout
240.016s
FEQ/PRO010+3.pUnknownUnsatisfiable
0.451s
FEQ/PRO012+1.pUnknownUnsatisfiable
0.097s
FEQ/PRO018+2.pUnknownUnsatisfiable
0.155s
FEQ/PUZ077+1.pUnknownError
7.827s
FEQ/PUZ078+1.pUnknownTimeout
240.201s
FEQ/REL020+2.pUnknownTimeout
240.184s
FEQ/REL021+1.pUnknownTimeout
240.047s
FEQ/REL033+1.pUnknownTimeout
240.058s
FEQ/REL033+4.pUnknownTimeout
240.079s
FEQ/REL035+1.pUnknownTimeout
240.088s
FEQ/RNG085+2.pUnknownUnsatisfiable
26.116s
FEQ/RNG098+2.pUnknownUnsatisfiable
0.963s
FEQ/SCT115+1.pUnknownTimeout
240.094s
FEQ/SCT123+1.pUnknownTimeout
240.095s
FEQ/SCT131+1.pUnknownTimeout
240.080s
FEQ/SCT146+1.pUnknownTimeout
240.072s
FEQ/SCT147+1.pUnknownTimeout
240.061s
FEQ/SCT151+1.pUnknownTimeout
240.049s
FEQ/SCT152+1.pUnknownTimeout
240.098s
FEQ/SCT154+1.pUnknownTimeout
240.069s
FEQ/SCT170+6.pUnknownTimeout
240.071s
FEQ/SET013+4.pUnknownTimeout
240.167s
FEQ/SET017+1.pUnknownUnsatisfiable
0.369s
FEQ/SET018+1.pUnknownUnsatisfiable
0.166s
FEQ/SET072+1.pUnknownUnsatisfiable
0.165s
FEQ/SET082+1.pUnknownTimeout
240.010s
FEQ/SET090+1.pUnknownUnsatisfiable
0.193s
FEQ/SET095+1.pUnknownUnsatisfiable
0.134s
FEQ/SET098+1.pUnknownUnsatisfiable
0.199s
FEQ/SET144+3.pUnknownTimeout
240.047s
FEQ/SET156+4.pUnknownTimeout
240.088s
FEQ/SET637+3.pUnknownUnsatisfiable
0.041s
FEQ/SET649+3.pUnknownTimeout
240.026s
FEQ/SET668+3.pUnknownTimeout
240.033s
FEQ/SET710+4.pUnknownTimeout
240.107s
FEQ/SET756+4.pUnknownTimeout
240.038s
FEQ/SET763+4.pUnknownTimeout
240.070s
FEQ/SEU025+1.pUnknownError
136.480s
FEQ/SEU053+1.pUnknownTimeout
240.097s
FEQ/SEU176+2.pUnknownTimeout
240.012s
FEQ/SEU258+2.pUnknownTimeout
240.023s
FEQ/SEU299+2.pUnknownTimeout
240.036s
FEQ/SEU314+2.pUnknownTimeout
240.049s
FEQ/SEU356+2.pUnknownError
36.279s
FEQ/SEU390+1.pUnknownTimeout
240.035s
FEQ/SEU419+1.pUnknownError
184.943s
FEQ/SEU424+2.pUnknownTimeout
243.815s
FEQ/SEU425+3.pUnknownError
17.329s
FEQ/SEU429+2.pUnknownTimeout
241.738s
FEQ/SEU429+3.pUnknownError
10.256s
FEQ/SEU447+2.pUnknownTimeout
241.487s
FEQ/SEV517+1.pUnknownUnsatisfiable
1.325s
FEQ/SEV522+1.pUnknownUnsatisfiable
1.371s
FEQ/SEV551+1.pUnknownTimeout
240.075s
FEQ/SEV554+1.pUnknownTimeout
240.048s
FEQ/SEV556+1.pUnknownTimeout
240.043s
FEQ/SEV560+1.pUnknownTimeout
240.040s
FEQ/SEV562+1.pUnknownTimeout
240.044s
FEQ/SEV565+1.pUnknownTimeout
240.043s
FEQ/SEV572+1.pUnknownTimeout
240.043s
FEQ/SEV579+1.pUnknownTimeout
240.101s
FEQ/SEV580+1.pUnknownTimeout
240.088s
FEQ/SWB012+1.pUnknownTimeout
240.101s
FEQ/SWB013+1.pUnknownTimeout
240.054s
FEQ/SWB014+1.pUnknownTimeout
240.058s
FEQ/SWB020+1.pUnknownTimeout
240.095s
FEQ/SWB022+1.pUnknownTimeout
240.050s
FEQ/SWB023+1.pUnknownTimeout
240.059s
FEQ/SWB025+1.pUnknownTimeout
240.057s
FEQ/SWB026+1.pUnknownTimeout
240.040s
FEQ/SWB027+1.pUnknownTimeout
240.047s
FEQ/SWB028+1.pUnknownTimeout
240.057s
FEQ/SWB028+2.pUnknownUnsatisfiable
0.349s
FEQ/SWB039+1.pUnknownTimeout
240.048s
FEQ/SWB043+1.pUnknownTimeout
240.050s
FEQ/SWB045+1.pUnknownTimeout
240.047s
FEQ/SWB046+1.pUnknownTimeout
240.068s
FEQ/SWB047+1.pUnknownTimeout
240.101s
FEQ/SWB050+1.pUnknownTimeout
240.112s
FEQ/SWB055+1.pUnknownTimeout
240.050s
FEQ/SWB056+1.pUnknownTimeout
240.039s
FEQ/SWB058+1.pUnknownTimeout
240.059s
FEQ/SWB059+1.pUnknownTimeout
240.050s
FEQ/SWB062+1.pUnknownTimeout
240.052s
FEQ/SWB067+1.pUnknownTimeout
240.046s
FEQ/SWB069+1.pUnknownTimeout
240.056s
FEQ/SWB073+1.pUnknownTimeout
240.060s
FEQ/SWB075+1.pUnknownTimeout
240.049s
FEQ/SWB077+1.pUnknownTimeout
240.053s
FEQ/SWB083+1.pUnknownTimeout
240.050s
FEQ/SWB086+1.pUnknownTimeout
240.052s
FEQ/SWB092+1.pUnknownTimeout
240.078s
FEQ/SWB095+1.pUnknownTimeout
240.072s
FEQ/SWB097+1.pUnknownTimeout
240.047s
FEQ/SWB098+1.pUnknownTimeout
240.093s
FEQ/SWB099+1.pUnknownTimeout
240.049s
FEQ/SWB100+1.pUnknownTimeout
240.049s
FEQ/SWB101+1.pUnknownTimeout
240.058s
FEQ/SWB102+1.pUnknownTimeout
240.110s
FEQ/SWB103+1.pUnknownTimeout
240.058s
FEQ/SWB104+1.pUnknownTimeout
240.048s
FEQ/SWB108+1.pUnknownTimeout
240.056s
FEQ/SWC005+1.pUnknownTimeout
240.148s
FEQ/SWC199+1.pUnknownTimeout
240.025s
FEQ/SWC386+1.pUnknownTimeout
240.040s
FEQ/SWV034+1.pUnknownError
34.023s
FEQ/SWV053+1.pUnknownError
34.189s
FEQ/SWV055+1.pUnknownError
34.095s
FEQ/SWV089+1.pUnknownError
33.748s
FEQ/SWV090+1.pUnknownError
33.816s
FEQ/SWV092+1.pUnknownError
34.029s
FEQ/SWV118+1.pUnknownError
5.534s
FEQ/SWV198+1.pUnknownError
34.420s
FEQ/SWV199+1.pUnknownError
34.101s
FEQ/SWV233+1.pUnknownError
46.222s
FEQ/SWV234+1.pUnknownTimeout
240.011s
FEQ/SWV234+2.pUnknownTimeout
240.028s
FEQ/SWV374+1.pUnknownTimeout
240.847s
FEQ/SWV404+1.pUnknownTimeout
240.045s
FEQ/SWV408+2.pUnknownTimeout
240.023s
FEQ/SWV449+1.pUnknownTimeout
240.049s
FEQ/SWV451+1.pUnknownTimeout
240.013s
FEQ/SWV452+1.pUnknownTimeout
240.019s
FEQ/SWV453+1.pUnknownTimeout
240.013s
FEQ/SWV455+1.pUnknownTimeout
240.020s
FEQ/SWV457+1.pUnknownTimeout
240.023s
FEQ/SWV458+1.pUnknownTimeout
240.060s
FEQ/SWV459+1.pUnknownTimeout
240.015s
FEQ/SWV460+1.pUnknownTimeout
240.024s
FEQ/SWV462+1.pUnknownTimeout
240.022s
FEQ/SWV466+1.pUnknownTimeout
240.015s
FEQ/SWV468+1.pUnknownTimeout
240.013s
FEQ/SWV471+1.pUnknownTimeout
240.016s
FEQ/SWV472+1.pUnknownTimeout
240.027s
FEQ/SWV473+1.pUnknownTimeout
240.012s
FEQ/SWV476+1.pUnknownTimeout
240.018s
FEQ/SWV479+1.pUnknownTimeout
240.075s
FEQ/SWV480+1.pUnknownTimeout
240.088s
FEQ/SWV486+1.pUnknownTimeout
240.011s
FEQ/SWV486+2.pUnknownTimeout
240.034s
FEQ/SWV487+1.pUnknownError
46.546s
FEQ/SWV490+3.pUnknownError
61.454s
FEQ/SWV491+4.pUnknownError
47.175s
FEQ/SWV492+1.pUnknownTimeout
240.021s
FEQ/SWW097+1.pUnknownTimeout
240.068s
FEQ/SWW102+1.pUnknownTimeout
240.018s
FEQ/SWW238+1.pUnknownTimeout
240.026s
FEQ/SWW273+1.pUnknownTimeout
240.026s
FEQ/SWW291+1.pUnknownError
103.728s
FEQ/SWW297+1.pUnknownTimeout
240.163s
FEQ/SWW313+1.pUnknownError
108.501s
FEQ/SWW314+1.pUnknownTimeout
240.153s
FEQ/SWW315+1.pUnknownTimeout
240.106s
FEQ/SWW337+1.pUnknownError
53.701s
FEQ/SWW342+1.pUnknownTimeout
240.121s
FEQ/SWW345+1.pUnknownTimeout
240.109s
FEQ/SWW348+1.pUnknownTimeout
240.123s
FEQ/SWW350+1.pUnknownTimeout
240.108s
FEQ/SWW374+1.pUnknownError
45.548s
FEQ/SWW383+1.pUnknownTimeout
240.104s
FEQ/SWW385+1.pUnknownTimeout
240.114s
FEQ/SWW386+1.pUnknownError
36.221s
FEQ/SWW470+1.pUnknownTimeout
240.014s
FEQ/SWW470+3.pUnknownTimeout
240.028s
FEQ/SWW470+6.pUnknownError
44.225s
FEQ/SWW470+7.pUnknownTimeout
240.616s
FEQ/SWW473+1.pUnknownError
96.191s
FEQ/SWW473+2.pUnknownTimeout
240.183s
FEQ/SWW473+5.pUnknownTimeout
240.030s
FEQ/SWW474+1.pUnknownTimeout
240.019s
FEQ/SWW474+2.pUnknownTimeout
240.045s
FEQ/SWW474+7.pUnknownError
42.282s
FEQ/SWW477+7.pUnknownTimeout
240.194s
FEQ/SWW478+7.pUnknownTimeout
240.189s
FEQ/SWW874+1.pUnknownTimeout
240.014s
FEQ/SWW878+1.pUnknownUnsatisfiable
0.079s
FEQ/SWW900+1.pUnknownTimeout
240.008s
FEQ/SWW937+1.pUnknownUnsatisfiable
0.046s
FEQ/SWW956+1.pUnknownTimeout
240.020s
FEQ/SWW958+1.pUnknownTimeout
240.030s
FEQ/SWW963+1.pUnknownTimeout
240.027s
FEQ/SWW967+1.pUnknownTimeout
240.073s
FEQ/SWX022+1.pUnknownTimeout
240.014s
FEQ/SWX029+1.pUnknownTimeout
240.031s
FEQ/SWX034+1.pUnknownUnsatisfiable
0.178s
FEQ/SWX037+1.pUnknownTimeout
240.038s
FEQ/SWX038+1.pUnknownTimeout
240.037s
FEQ/SWX044+1.pUnknownTimeout
240.039s
FEQ/SWX055+1.pUnknownTimeout
240.016s
FEQ/SWX060+1.pUnknownTimeout
240.014s
FEQ/SWX070+1.pUnknownTimeout
245.129s
FEQ/TOP034+4.pUnknownError
27.327s
FNE/BOO109+1.pUnknownTimeout
240.153s
FNE/COM008+1.pUnknownTimeout
240.065s
FNE/CSR026+3.pUnknownTimeout
240.118s
FNE/CSR027+3.pUnknownTimeout
240.051s
FNE/CSR033+3.pUnknownTimeout
240.058s
FNE/CSR034+2.pUnknownTimeout
240.180s
FNE/CSR036+2.pUnknownTimeout
240.041s
FNE/CSR036+3.pUnknownTimeout
240.056s
FNE/CSR039+2.pUnknownTimeout
240.034s
FNE/CSR040+3.pUnknownTimeout
240.053s
FNE/CSR052+3.pUnknownTimeout
240.061s
FNE/CSR056+3.pUnknownTimeout
240.055s
FNE/CSR057+2.pUnknownUnsatisfiable
1.945s
FNE/CSR060+2.pUnknownTimeout
240.024s
FNE/CSR061+2.pUnknownTimeout
240.041s
FNE/CSR062+2.pUnknownUnsatisfiable
0.534s
FNE/CSR062+3.pUnknownUnsatisfiable
24.247s
FNE/CSR073+2.pUnknownUnsatisfiable
0.469s
FNE/CSR073+3.pUnknownUnsatisfiable
23.525s
FNE/CSR115+31.pUnknownTimeout
240.131s
FNE/CSR115+6.pUnknownTimeout
240.062s
FNE/CSR115+91.pUnknownUnsatisfiable
51.770s
FNE/CSR115+98.pUnknownTimeout
240.058s
FNE/CSR116+27.pUnknownTimeout
240.049s
FNE/CSR116+39.pUnknownTimeout
240.045s
FNE/CSR116+6.pUnknownTimeout
240.049s
FNE/GEO167+1.pUnknownTimeout
240.020s
FNE/GEO168+1.pUnknownTimeout
240.020s
FNE/GEO259+1.pUnknownTimeout
240.133s
FNE/KRS189+1.pUnknownUnsatisfiable
0.176s
FNE/KRS203+1.pUnknownTimeout
240.017s
FNE/KRS216+1.pUnknownTimeout
240.021s
FNE/KRS217+1.pUnknownTimeout
240.096s
FNE/KRS233+1.pUnknownUnsatisfiable
1.499s
FNE/KRS234+1.pUnknownUnsatisfiable
8.065s
FNE/KRS251+1.pUnknownUnsatisfiable
15.049s
FNE/KRS258+1.pUnknownUnsatisfiable
22.312s
FNE/KRS260+1.pUnknownTimeout
240.016s
FNE/KRS261+1.pUnknownTimeout
240.021s
FNE/LCL062+1.pUnknownTimeout
240.089s
FNE/LCL109+1.pUnknownTimeout
240.044s
FNE/LCL365+1.pUnknownTimeout
240.085s
FNE/LCL365+2.pUnknownError
213.379s
FNE/LCL368+1.pUnknownTimeout
240.095s
FNE/LCL368+2.pUnknownError
209.618s
FNE/LCL369+1.pUnknownTimeout
240.150s
FNE/LCL370+2.pUnknownTimeout
241.218s
FNE/LCL373+2.pUnknownError
210.593s
FNE/LCL374+1.pUnknownTimeout
240.364s
FNE/LCL374+2.pUnknownTimeout
240.646s
FNE/LCL376+1.pUnknownTimeout
240.095s
FNE/LCL377+1.pUnknownTimeout
240.081s
FNE/LCL383+1.pUnknownTimeout
240.093s
FNE/LCL383+2.pUnknownError
208.435s
FNE/LCL390+1.pUnknownTimeout
240.455s
FNE/LCL390+2.pUnknownError
206.432s
FNE/LCL392+1.pUnknownTimeout
240.075s
FNE/LCL392+2.pUnknownTimeout
241.469s
FNE/LCL393+2.pUnknownTimeout
240.167s
FNE/LCL394+2.pUnknownTimeout
240.753s
FNE/LCL403+2.pUnknownTimeout
240.201s
FNE/LCL640+1.005.pUnknownTimeout
240.024s
FNE/LCL642+1.010.pUnknownTimeout
240.128s
FNE/LCL642+1.015.pUnknownTimeout
240.095s
FNE/LCL656+1.015.pUnknownTimeout
240.024s
FNE/LCL660+1.015.pUnknownTimeout
240.096s
FNE/LCL660+1.020.pUnknownTimeout
240.102s
FNE/LCL670+1.010.pUnknownTimeout
240.023s
FNE/LCL680+1.005.pUnknownTimeout
240.027s
FNE/LCL682+1.015.pUnknownTimeout
240.034s
FNE/LCL682+1.020.pUnknownTimeout
240.042s
FNE/LCL688+1.005.pUnknownTimeout
240.028s
FNE/LCL876+1.pUnknownTimeout
240.035s
FNE/LCL978+1.pUnknownError
241.234s
FNE/LCL981+1.pUnknownError
77.638s
FNE/LCL982+1.pUnknownTimeout
240.812s
FNE/MED007+1.pUnknownTimeout
240.164s
FNE/MED009+1.pUnknownTimeout
240.024s
FNE/MGT067+1.pUnknownTimeout
240.022s
FNE/NLP260+1.pUnknownError
0.645s
FNE/NLP261+1.pUnknownError
0.447s
FNE/NLP262+1.pUnknownError
0.448s
FNE/NUN056+1.pUnknownTimeout
240.036s
FNE/NUN057+1.pUnknownTimeout
240.055s
FNE/NUN060+1.pUnknownTimeout
240.091s
FNE/NUN066+1.pUnknownTimeout
240.074s
FNE/NUN072+1.pUnknownTimeout
240.034s
FNE/NUN075+1.pUnknownTimeout
240.022s
FNE/NUN081+1.pUnknownTimeout
240.048s
FNE/NUN085+1.pUnknownTimeout
240.026s
FNE/NUN087+1.pUnknownTimeout
240.023s
FNE/SWB012+3.pUnknownTimeout
240.070s
FNE/SWB014+3.pUnknownTimeout
240.035s
FNE/SWV014+1.pUnknownTimeout
240.025s
FNE/SYN353+1.pUnknownTimeout
240.068s
FNE/SYN457+1.pUnknownTimeout
240.019s
FNE/SYN938+1.pUnknownError
5.186s
FNE/SYN986+1.004.pUnknownError
70.967s
FNE/SYO604+1.pUnknownTimeout
240.093s
FNE/SYO606+1.pUnknownTimeout
240.024s

Stats par prouveur

ProuveurSous-ensembleTotalSuccèsTimeoutsIncomplétudeIncorrectionErreursTemps moyen
ipTous50038 (7.6%)375 (75.0%)0 (0.0%)0 (0.0%)87 (17.4%)191.397s
ipTheorem/Unsatisfiable10 (0.0%)0 (0.0%)0 (0.0%)0 (0.0%)1 (100.0%)16.963s
ipTheorem (FOF)10 (0.0%)0 (0.0%)0 (0.0%)0 (0.0%)1 (100.0%)16.963s
ipUnsatisfiable (CNF)00 (0.0%)0 (0.0%)0 (0.0%)0 (0.0%)0 (0.0%)0.000s