FlaviumTest and compare your solutions.

SAT-Excercise WS25/26

This service tries to be as data-minimalistic and privacy compliant as possible. Therefore we limit the user input to the minimally required information and avoid personal data everywhere. The only required data is your solution (Java file). Please also avoid to add personal data in this file. The Java file is stored until the benchmark is processed.


Cookie-Disclaimer: When uploading a solution, this site uses a cookie to store your submission id. This allows you to easily see your position and access the log of your submitted solutions.

Upload your solution (Java file)

Note: Please do not submit any personal data. More information on the processing can be found in the readme..

Leaderboard

Leaderboard is sorted firstly by the score (successful solving of sat/unsat instances), then after the run time.

Rank Pseudonym Score Time
0 weepy vicuña 10.000 0.406 seconds
1 unfortunate loris 10.000 0.406 seconds
2 likely wren 10.000 0.940 seconds
3 stark starling 10.000 0.979 seconds
4 wide-eyed locust 10.000 0.982 seconds
5 nippy boar 10.000 0.988 seconds
6 buoyant gaur 10.000 0.998 seconds
7 functional moose 10.000 1.000 seconds
8 delectable sheep 10.000 1.007 seconds
9 inferior toad 10.000 1.009 seconds
10 ample ostrich 10.000 1.009 seconds
11 respectful dove 10.000 1.010 seconds
12 rural guinea 10.000 1.011 seconds
13 narrow gnat 10.000 1.011 seconds
14 vacant cat 10.000 1.011 seconds
15 pastel kangaroo 10.000 1.023 seconds
16 variable gazelle 10.000 1.023 seconds
17 shoddy panda 10.000 1.028 seconds
18 blank hare 10.000 1.031 seconds
19 unfortunate rook 10.000 1.033 seconds
20 black panther 10.000 1.034 seconds
21 royal seal 10.000 1.044 seconds
22 appropriate crocodile 10.000 1.071 seconds
23 embellished elephant 10.000 1.074 seconds
24 liquid ferret 10.000 1.077 seconds
25 neat mammoth 10.000 1.102 seconds
26 insidious giraffe 10.000 1.123 seconds
27 roasted fowl 10.000 1.132 seconds
28 dopey leopard 10.000 1.132 seconds
29 entire hedgehog 10.000 1.472 seconds
30 delirious lion 10.000 1.646 seconds
31 selfish caterpillar 10.000 2.230 seconds
32 this tarsier 10.000 2.259 seconds
33 tinted goshawk 10.000 2.294 seconds
34 last falcon 10.000 2.303 seconds
35 cold lemur 10.000 2.314 seconds
36 funny rat 10.000 2.335 seconds
37 scented dog 10.000 2.386 seconds
38 impressionable chinchilla 10.000 2.418 seconds
39 even wolf 10.000 2.501 seconds
40 giant louse 10.000 2.614 seconds
41 playful cormorant 10.000 6.461 seconds
42 distorted mosquito 10.000 6.600 seconds
43 remarkable hornet 10.000 7.445 seconds
44 forceful pheasant 10.000 7.546 seconds
45 dependable gnat 10.000 7.658 seconds
46 teeming curlew 10.000 7.718 seconds
47 quaint dunlin 10.000 7.755 seconds
48 complicated horse 10.000 7.830 seconds
49 unfinished panda 10.000 7.992 seconds
50 hard snail 10.000 8.027 seconds
51 impractical shark 10.000 8.035 seconds
52 swift crab 10.000 8.116 seconds
53 dismal chimpanzee 10.000 8.193 seconds
54 blaring dotterel 10.000 8.252 seconds
55 slim sheep 10.000 8.269 seconds
56 spicy emu 10.000 8.276 seconds
57 scared pig 10.000 8.397 seconds
58 lasting rook 10.000 8.433 seconds
59 variable pig 10.000 8.459 seconds
60 remorseful crocodile 10.000 9.074 seconds
61 concrete red 10.000 9.214 seconds
62 quarrelsome crow 10.000 9.222 seconds
63 well-to-do giraffe 10.000 10.056 seconds
64 numb ferret 10.000 10.187 seconds
65 overdue deer 10.000 11.341 seconds
66 scented snail 10.000 11.783 seconds
67 comfortable dinosaur 10.000 11.822 seconds
68 villainous whale 10.000 12.361 seconds
69 glass pig 10.000 12.621 seconds
70 ancient dotterel 10.000 12.626 seconds
71 trusty flamingo 10.000 13.020 seconds
72 muffled dugong 10.000 13.430 seconds
73 dead termite 10.000 13.651 seconds
74 unlucky panda 10.000 14.320 seconds
75 merry snail 10.000 15.307 seconds
76 pastel rhinoceros 10.000 15.686 seconds
77 hollow wren 10.000 15.877 seconds
78 weekly hedgehog 10.000 17.144 seconds
79 entire elephant 10.000 18.087 seconds
80 tough ostrich 10.000 19.025 seconds
81 frightening fowl 10.000 19.395 seconds
82 bruised fowl 10.000 19.515 seconds
83 exotic owl 10.000 19.688 seconds
84 mean turkey 10.000 19.929 seconds
85 roasted sandpiper 10.000 21.006 seconds
86 bouncy magpie 10.000 21.091 seconds
87 sweet ibis 10.000 21.555 seconds
88 snoopy dotterel 10.000 23.863 seconds
89 powerless porcupine 10.000 25.003 seconds
90 jaded coati 10.000 27.511 seconds
91 vengeful duck 10.000 30.863 seconds
92 total mosquito 10.000 33.230 seconds
93 hidden hippo 10.000 34.226 seconds
94 odd lark 10.000 34.497 seconds
95 gargantuan tiger 10.000 36.991 seconds
96 optimistic moose 10.000 37.602 seconds
97 scrawny kinkajou 10.000 39.211 seconds
98 gorgeous water 10.000 40.007 seconds
99 roasted crab 10.000 43.975 seconds
100 familiar eel 10.000 45.298 seconds
101 disgusting mammoth 10.000 46.220 seconds
102 helpless grouse 10.000 47.054 seconds
103 dopey fox 10.000 48.013 seconds
104 definitive tarsier 10.000 49.139 seconds
105 gracious zebra 10.000 53.124 seconds
106 honored ibex 10.000 54.997 seconds
107 angelic stegosaurus 10.000 56.181 seconds
108 muted cobra 10.000 60.850 seconds
109 suspicious hawk 10.000 85.858 seconds
110 punctual cod 10.000 90.961 seconds
111 grave ferret 10.000 93.367 seconds
112 strict wallaby 10.000 96.004 seconds
113 broken mallard 10.000 99.538 seconds
114 whirlwind tarsier 10.000 102.245 seconds
115 splendid grouse 10.000 104.688 seconds
116 known prairiedog 10.000 116.950 seconds
117 wiggly zebra 9.910 3.742 seconds
118 tepid gnu 9.910 10.684 seconds
119 bustling stegosaurus 9.910 11.160 seconds
120 calculating leopard 9.910 11.943 seconds
121 truthful dogfish 9.910 12.708 seconds
122 webbed skunk 9.910 12.805 seconds
123 second-hand mosquito 9.910 13.417 seconds
124 multicolored snail 9.910 13.646 seconds
125 surprised fly 9.910 14.510 seconds
126 failing monkey 9.910 14.680 seconds
127 fatherly sandpiper 9.910 16.603 seconds
128 mortified cockroach 9.910 32.400 seconds
129 vigorous quail 9.910 33.296 seconds
130 close kangaroo 9.910 33.918 seconds
131 embarrassed fly 9.910 39.311 seconds
132 dirty sheep 9.910 91.275 seconds
133 grizzled red 9.910 94.772 seconds
134 regal fly 9.830 13.903 seconds
135 assured goat 9.830 66.787 seconds
136 edible ostrich 9.830 67.398 seconds
137 tricky starling 9.830 67.634 seconds
138 exalted caterpillar 9.830 81.506 seconds
139 gorgeous falcon 9.830 82.631 seconds
140 idiotic pig 9.830 84.119 seconds
141 well-lit magpie 9.740 1.328 seconds
142 runny cod 9.740 2.333 seconds
143 multicolored giraffe 9.740 2.570 seconds
144 dimpled otter 9.740 3.331 seconds
145 short dog 9.740 6.804 seconds
146 rusty salmon 9.740 7.066 seconds
147 dimwitted hippo 9.740 7.191 seconds
148 glaring partridge 9.740 11.088 seconds
149 meek kinkajou 9.740 11.138 seconds
150 outlying mink 9.740 11.402 seconds
151 striking kinkajou 9.740 11.454 seconds
152 actual shark 9.740 11.752 seconds
153 haunting monkey 9.740 11.820 seconds
154 agile spider 9.740 11.882 seconds
155 productive seal 9.740 11.921 seconds
156 unhappy ostrich 9.740 12.108 seconds
157 faithful wasp 9.740 12.133 seconds
158 moist finch 9.740 12.285 seconds
159 fluffy starling 9.740 12.852 seconds
160 indolent red 9.740 12.960 seconds
161 moral fish 9.310 11.582 seconds
162 rotten parrot 9.170 29.313 seconds
163 precious dunlin 9.170 29.431 seconds
164 fixed whale 9.170 29.529 seconds
165 deafening ibis 9.170 30.527 seconds
166 mortified shark 9.170 66.769 seconds
167 this oyster 9.170 75.412 seconds
168 afraid boar 9.170 106.333 seconds
169 tiny cheetah 9.080 92.478 seconds
170 ordinary lark 8.910 18.953 seconds
171 feline quelea 8.910 19.179 seconds
172 complete walrus 8.910 19.371 seconds
173 sleepy cat 8.910 28.897 seconds
174 sizzling whale 8.910 28.930 seconds
175 squiggly toad 8.910 29.645 seconds
176 trim dinosaur 8.910 29.684 seconds
177 honorable fly 8.910 39.029 seconds
178 glass goat 8.750 19.088 seconds
179 unique dugong 8.750 19.116 seconds
180 gleeful panda 8.750 19.548 seconds
181 infamous jaguar 8.750 19.696 seconds
182 black-and-white dotterel 8.750 20.122 seconds
183 other mandrill 8.650 2.500 seconds
184 fuzzy tiger 8.490 56.882 seconds
185 frightened starling 8.490 57.641 seconds
186 soft magpie 8.330 71.626 seconds
187 costly grouse 8.330 76.135 seconds
188 orange buffalo 7.500 72.023 seconds
189 tricky grouse 6.820 18.745 seconds
190 pretty red 6.820 19.321 seconds
191 merry magpie 6.820 19.411 seconds
192 mountainous spider 6.820 19.889 seconds
193 lumbering ibex 6.020 5.902 seconds
194 late gazelle 5.980 7.555 seconds
195 suspicious squirrel 4.300 0.918 seconds
196 parallel red 4.010 13.541 seconds
197 flawed jaguar 0.090 0.386 seconds
198 pleasing sheep 0.000 0.325 seconds
199 detailed gerbil 0.000 0.330 seconds
200 doting ibis 0.000 0.346 seconds
201 naughty jay 0.000 0.350 seconds
202 wasteful guinea 0.000 0.385 seconds